Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
How debuggers work: algorithms, data structures, and architecture
How debuggers work: algorithms, data structures, and architecture
Proof, language, and interaction
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Hard Real-Time Systems
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Performance modelling of a network processor using POOSL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Real-time Property Preservation in Approximations of Timed Systems
MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Specification, Modeling and Design Tools for System-on-Chip
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Formal Platform-Independent Design of Real-Time Systems
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
System Level Modelling for Hardware/Software Systems
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 1
Hi-index | 0.00 |
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems anymore. They especially lack the ability to trace and analyse real-time system properties. In this paper, we investigate the design difficulties for embedded real-time systems and propose several principles for coping with these difficulties, which should be incorporated by an "adequate" design approach. Several prevailing design approaches are evaluated against these principles and their merits and drawbacks are examined and illustrated by examples. Finally, a platform-independent approach (POOSL[8,9]+Rotalumis[20]) is introduced to remedy these design problems for embedded real-time systems. Initial experiments have been performed that confirm the advantages of this approach.