Predictability in Real-Time System Development

The large gap existing between requirements and realizations has been a pertinacious problem in complex system design. This holds in particular for realtime systems with strict timing constraints and critical-safety requirements. Designers have to rely on a multi-step design process, where design decisions are made at different modelling levels. To ensure the effectiveness of this design process, predictability should be well-supported by design approaches, allowing designers to predict properties of future design outcomes based on existing design results. In this chapter, we first discuss the role of the semantics of design languages and investigated how they can support a predictable design process. Then, the deficiencies, w.r.t. predictability support, of existing design approaches for real-time systems are illustrated by an example. Finally, a predictable design approach for real-time systems is introduced to overcome this problem.

[1]  Stefan Leue,et al.  Specifying real-time requirements for SDL specifications - a temporal logic-based approach , 1995, PSTV.

[2]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[3]  Wlodek Zadrozny,et al.  From compositional to systematic semantics , 1994, ArXiv.

[4]  E. Baghdady.  The design of communication systems , 1959 .

[5]  C. J. Koomen.  The Design of Communicating Systems , 1991 .

[6]  Jpm Jeroen Voeten,et al.  Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .

[7]  Susanne Graf,et al.  Expression of Time and Duration Constraints in SDL , 2002, SAM.

[8]  Henk Corporaal,et al.  Error Estimation in Model-Driven Development for Real-Time Software , 2004, FDL.

[9]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, JACM.

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Mathai Joseph,et al.  Verification, refinement and scheduling of real-time programs , 2001, Theor. Comput. Sci..

[12]  M. P. J. Stevens,et al.  System level modelling for hardware/software systems , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).

[13]  Jeroen Voeten,et al.  Performance Evaluation of Complex Real-time Systems: A case Study. , 2002 .

[14]  Joseph Sifakis,et al.  Modeling Real-Time Systems-Challenges and Work Directions , 2001, EMSOFT.

[15]  van Fn Frank Wijk,et al.  An Abstract Modeling Approach Towards System-Level Design-Space Exploration , 2003 .

[16]  Jeroen Voeten,et al.  Performance modelling of a network processor using POOSL , 2003, Comput. Networks.

[17]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[18]  Mcw Marc Geilen.  Formal techniques for verification of complex real-time systems , 2002 .

[19]  Jeroen Voeten,et al.  Predictability in Real-time System Development (2) A Case Study , 2004, FDL.

[20]  Marc Geilen,et al.  Real-time property preservation in approximations of timed systems , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

[21]  B. Partee,et al.  Mathematical Methods in Linguistics , 1990 .