An overview of clock synchronization
Fault-tolerant distributed computing
Design, implementation, and evaluation of a software-based real-time Ethernet protocol
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
The embedded machine: predictable, portable real-time code
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
The FTT-Ethernet Protocol: Merging Flexibility,Timeliness and Efficiency
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
The Specification and Schedulability Analysis of Real-Time Systems using ACSR
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication
ISCC '05 Proceedings of the 10th IEEE Symposium on Computers and Communications
Distributed-code generation from hybrid systems models for time-delayed multirate systems
Proceedings of the 5th ACM international conference on Embedded software
An analysis framework for network-code programs
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Specification and Analysis of Network Resource Requirements of Control Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
A framework for the safe interoperability of medical devices in the presence of network failures
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Design choices for high-confidence distributed real-time software
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
An open platform for mixed-criticality real-time ethernet
Proceedings of the Conference on Design, Automation and Test in Europe
Diversely enumerating system-level architectures
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 14.98 |
Distributed hard real-time systems require predictable communication at the network level and verifiable communication behavior at the application level. At the network level, communication between nodes must be guaranteed to happen within bounded time and one common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule. At the application level, the application's communication behavior should be verified to ensure that the application uses the predictable communication in the intended way. Network Code is a domain-specific programming language to write predictable, verifiable distributed communication for distributed real-time applications. In this paper, we present the syntax and semantics of Network Code, how we can implement different scheduling policies, and how we can use tools such as model checking to formally verify properties of Network Code programs. We also present an implementation of a runtime system for executing Network Code on top of RTLinux and measure the overhead incurred from the run-time system.