Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme

Es wird eine fur die Realzeit-Analyse geeignete SW-Architektur vorgestellt, die eine weitgehend automatisierte, echtzeitfahige Implementierung graphischer Spezifikationen ermoglicht. Es werden zustands- und signalflussorientierte Laufzeitmodelle berucksichtigt sowie deren Abbildung auf zyklische und ereignisgesteuerte SW-Teile unterstutzt. Alle Berechnungswunsche im System werden auf Ereignisse abgebildet. Ihre statischen Prioritaten dienen zur Laufzeit nicht nur zum Sortieren der Warteschlangen, sondern werden auch bei der Verarbeitung dem jeweiligen Server-Prozess vererbt. Um ein analysierbares Zeitverhalten der SW-Architektur zu erreichen, wurden unterschiedliche Prioritats-Vererbungsstrategien (Basic-Priority-Inheritency, Preemption-Threshold) entwickelt und im unterlagerten Laufzeitsystem umgesetzt. Um einen durchgangigen modellbasierten Entwurfsprozess zu erreichen, wurden die Konzepte fur das Werkzeug Simulink/Stateflow umgesetzt.

[1]  Michael von der Beeck,et al.  A Concise Compositionalj Statecharts Semantics Definition , 2000, FORTE.

[2]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[3]  Klaus Gresser,et al.  An Event Model for Deadline Verification of Hard Real-Time Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[4]  Manas Saksena,et al.  Schedulability analysis for automated implementations of real-time object-oriented models , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[5]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[6]  Ashish Tiwari,et al.  Invisible formal methods for embedded control systems , 2003, Proc. IEEE.

[7]  Paolo Nesi,et al.  Tools for specifying real-time systems , 1995, Real-Time Systems.

[8]  Stefan M. Petters.  Worst case execution time estimation for advanced processor architectures , 2002 .

[9]  J. S. Parkinson,et al.  Integrated support for real-time control systems , 1992 .

[10]  Bran Selic,et al.  Real-Time Software Design - State of the Art and Future Challenges , 1999 .

[11]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[12]  Anton Cervin,et al.  Towards the Integration of Control and Real-Time Scheduling Design , 2000 .

[13]  Anton Cervin,et al.  A Matlab toolbox for real-time and control systems co-design , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[14]  W. D. Henderson,et al.  Real-time CASE tools: a review of current tools and future prospects , 1992 .

[15]  Karl-Erik Årzén,et al.  Jitterbug and TrueTime: Analysis Tools for Real-Time Control Systems , 2002 .

[16]  Hermann Kopetz,et al.  Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[17]  Manas Saksena,et al.  Designing for schedulability: integrating schedulability analysis with object-oriented design , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.

[18]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[19]  Andreas Rau.  Modellbasierte Entwicklung von eingebetteten Regelungssystemen in der Automobilindustrie , 2003 .

[20]  Karl-Erik Årzén,et al.  TrueTime: Simulation of Control Loops Under Shared Computer Resources , 2002 .

[21]  Andreas Rau,et al.  On Modelling Guidelines: Flowchart Patterns for STATEFLOW , 2001, Softwaretechnik-Trends.

[22]  Stephen A. Edwards,et al.  The specification and execution of heterogeneous synchronous reactive systems , 1998 .

[23]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[24]  Dieter Hogrefe,et al.  SDL - with applications from protocol specification , 1991, BCS practitioner series.

[25]  Jean Paul Calvez.  Embedded real-time systems: a specification and design methodology , 1993 .

[26]  Manas Saksena,et al.  Scheduling fixed-priority tasks with preemption threshold , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[27]  Anton Cervin.  The real-time control systems simulator Reference manual , 2000 .

[28]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[29]  Alan Burns,et al.  Hard Real-Time Scheduling: The Deadline-Monotonic Approach , 1991 .

[30]  Jonathan S. Ostroff,et al.  Modelling, Specifying, and Verifying Real-Time Embedded Computer Systems , 1987, IEEE Real-Time Systems Symposium.

[31]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[32]  Aloysius K. Mok,et al.  Modechart: A Specification Language for Real-Time Systems , 1994, IEEE Trans. Software Eng..

[33]  Alexander Pretschner,et al.  Tests for mixed discrete-continuous systems , 2003 .

[34]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[35]  Éric Rutten,et al.  Modeling statecharts and activitycharts as signal equations , 2001, TSEM.

[36]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[37]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[38]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[39]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[40]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[41]  Manfred Broy,et al.  Model Based Development of Hybrid Systems: Specification, Simulation, Test Case Generation , 2002 .

[42]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[43]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[44]  B. O. Gallmeister,et al.  POSIX.4 - programming for the real world , 1995 .

[45]  Stephen A. Edwards,et al.  Design Languages for Embedded Systems , 2003 .

[46]  Walter S. Heath.  Real-Time Software Techniques , 1990 .

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

[48]  Martin Orehek,et al.  Model-based design of an ECU with data- and event-driven parts using auto code generation , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[49]  Manas Saksena,et al.  Guidelines for automated implementation of executable object oriented models for real-time embedded control systems , 1997, Proceedings Real-Time Systems Symposium.

[50]  Manas Saksena,et al.  Automatic synthesis of multi-tasking implementations from real-time object-oriented models , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[51]  Martin Orehek.  Process Pattern: Model Based Real-Time Systems Development , 2002, OOPSLA 2002.

[52]  Francky Catthoor,et al.  Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems , 1999, Springer US.

[53]  L. Motus.  Synchronous programming of reactive systems: Nicolas Halbwachs. The Kluwer International Series in Engineering and Computer Science (1993). US $79.95, UK £58.00. ISBN 0-7923-9311-2 , 1994 .

[54]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[55]  M. Orehek,et al.  Model based design in the development of thermodynamic systems and their electronic control units , 2002, Proceedings of the International Conference on Control Applications.

[56]  William Henderson,et al.  Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter , 2004, Real-Time Systems.

[57]  Insup Lee,et al.  A Layered Approach to Automating the Verification of Real-Time Systems , 1992, IEEE Trans. Software Eng..

[58]  Stanley A. Schneider,et al.  ControlShell: A Software Architecture for Complex Electromechanical Systems , 1998, Int. J. Robotics Res..

[59]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[60]  Krithi Ramamritham,et al.  Scheduling algorithms and operating systems support for real-time systems , 1994, Proc. IEEE.

[61]  Alan Burns,et al.  HRT-HOOD: A structured design method for hard real-time systems , 2005, Real-Time Systems.

[62]  Alan C. Shaw,et al.  Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..

[63]  Phillip A. Laplante,et al.  Real-time systems design and analysis - an engineer's handbook , 1992 .

[64]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[65]  Klaus Gresser,et al.  Echtzeitnachweis ereignisgesteuerter Realzeitsysteme , 1993 .

[66]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[67]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[68]  Isabelle Puaut,et al.  Worst-Case Timing Analysis Of The RTEMS Real-Time Operating System , 1999 .

[69]  Peter Scholz,et al.  Design of reactive systems and their distributed implementation with statecharts , 1998 .

[70]  Anton Cervin,et al.  TrueTime 1.1 -- Reference Manual , 2003 .

[71]  Roland Lang,et al.  WCET Analysis for Systems Modelled in Matlab/Simulink ∗† , 2001 .

[72]  Anton Cervin,et al.  Integrated Control and Real-Time Scheduling , 2003 .

[73]  Anton Cervin,et al.  Improved scheduling of control tasks , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[74]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .