Platform-Independent Design for Embedded Real-Time Systems [chapter]

Jinfeng Huang, Jeroen P. M. Voeten, Andre Ventevogel, Leo van Bokhoven
2004 Languages for System Specification  
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
more » ... ng design approaches are evaluated against these principles and their merits and drawbacks are examined and illustrated by examples. Finally, a platform-independent approach (POOSL[vdPV97, Gei02] + Rotalumis[vB02]) is introduced to remedy these design problems for embedded real-time systems. Initial experiments have been performed that confirm the advantages of this approach.
doi:10.1007/1-4020-7991-5_3 dblp:conf/fdl/HuangVVB03 fatcat:oathxagfvffcvjfrv22xgzjjzi