A design methodology for real-time systems to be implemented on multiprocessor machines
References (47)
Statecharts, a visual formalism for complex systems
- et al.
A Design and Modeling Methodology for Performance Evaluation in Real-Time Distributed Software Systems
- et al.
RT-ASLAN: a Specification Language for Real-Time Systems
IEEE Trans. Software Eng.
(1986) - et al.
On the Execution of Parallel Programs on Multiprocessor Systems: a Queuing Theory Approach
J. of the ACM
(1990) - et al.
The synchronous language ESTEREL: Design, Semantics and Implementation
INRIA Report 842
(1988) Object-Oriented Development
IEEE Trans. Software Eng.
(1986)An overview of JSD
IEEE Trans. Software Eng.
(1986)- et al.
Functional specification and description language (SDL)
Recommendations Z.101–Z.104
(1981)
Recommendation for Space Data System Standards. Packet Telemetry
CSDS Recommendation, Blue Book
Advanced Orbiting Systems, Networks and Data links
CCSDS 700.0-G-2
Task Allocation and Precedence Relations for Distributed Real-Time Systems
IEEE Trans. Computer
Multilevel Specification of Real-Time Systems
Communication of the ACM
HMS machines: A unified framework for specification, verification and reasoning for real-time systems
Strategies for Real-Time Systems
HOOD Reference Manual
Modeling of Software Partition for Distributed Real-Time Applications
IEEE Trans. Software Eng.
System Development
Cited by (3)
An approach to modeling and evaluation of functional and timing specifications of real-time systems
2001, Journal of Systems and SoftwareCitation Excerpt :Simulations are frequently used to investigate the behavior of new scheduling heuristics. Certain systems may be too complex (overhead, overload, interaction with a dynamic environment/plant for which no analytical model exists, conditional dependencies, distributed systems, imprecise computing, self-modifying systems, fault injection and simulation) for the analytical means available today, so that simulation of the specification is the only way to gain at least some confidence in the correct behavior of the systems under construction (Bruno et al., 1993; Zhang and Chaib-draa, 1996). Dealing with real-time systems of course requires that the model is constructed in such a way that all relevant scheduling strategies, including state-of-the-art preemptive schedulers, can be simulated.
Scheduling algorithm for real-time applications in grid environment
2002, Proceedings of the IEEE International Conference on Systems, Man and CyberneticsIntegrated analysis and design method for distributed real-time systems based on computational grid
2002, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics