Models for automatic generation of safety-critical real-time systems

Proceedings - Second International Conference on Availability, Reliability and Security, ARES 2007

Volumn , Issue , 2007, Pages 580-587

  Buckl, Christian ^a   Regensburger, Matthias ^a   Knoll, Alois ^a   Schrott, Gerhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; FAULT TOLERANCE; MATHEMATICAL MODELS; MATLAB; SECURITY OF DATA;

AUTOMATIC CODES; META CODES; SAFETY-CRITICAL REAL-TIME SYSTEMS;

REAL TIME SYSTEMS;

EID: 34548179645     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2007.106     Document Type: Conference Paper

References (24)

1. P. Barnard. Software Development Principles Applied to Graphical Model Development. In AIAA Modeling and Simulation Technologies Conference and Exhibit, San Francisco, Aug. 2005.
2. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
3. E. Bruneton, T. Coupaye, M. Leclercq, V Quéma, and J.-B. Stefani. The fractal component model and its support in java. Software - Practice And Experience, 36(11-12):1257-1284, 2006.
4. C. Buckl, A. Knoll, and G. Schrott. Model-based development of fault-tolerant embedded software. In Second International Symposium on Leveraging Applications of Fomal Methods, Verification and Validation (IEEE-ISoLA), pages 113-120, 2006.
5. P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. Lustre: a declarative language for real-time programming. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 178-188. ACM Press, 1987.
6. A. Deursen, P. Klint, and J. M. Visser. Domain-specific languages. Technical report, CWI (Centre for Mathematics and Computer Science), 2000.
7. S. Efftinge, M. Volter, A. Haase, and B. Kolb. openArchitectureWare - Documentation.
8. J. Fassino, J. Stefani, J. Lawall, and G. Muller. Think: A software framework for component-based operating system kernels. In Usenix Annual Technical Conference, Monterey (USA), Monterey (USA), June 2002.
9. O. M. Group. OMG Unified Modelling Language Specification, 1.3 edition, June 1999.
10. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Embedded control systems development with giotto. Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 64-72, 2001.
11. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the First International Workshop on Embedded Software (EMSOFT), pages 166-184, 2001.
12. I. Johnson, C. Snook, A. Edmunds, and M. Butler. Rigorous development of reusable, domain-specific components, for complex applications. In CSDUML'04 - 3rd International Workshop on Critical Systems Development with UML, 2004.
13. H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proceedings of the IEEE, 91(1):112-126, Jan. 2003.
14. H. Kopetz, G.Grnsteidl, and J.Reisinger. Fault-tolerant membership service in a synchronous distributed real-time system. In Dependable Computing for Critical Applications, pages 411-429, 1991.
15. L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. J. ACM, 32(1):52-78, 1985.
16. P. A. Lee and T. Anderson. Fault Tolerance: Principles and Practice. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1990.
17. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. Software Engineering, 26(1):70-93, 2000.
18. J. Miller and J. Mukerji. MDA Guide. Object Management Group, Inc., June 2003. Version 1.0.1 (omg/03-06-01).
19. S. Poledna. Replica determinism in distributed real-time systems: A brief survey. Real-Time Systems, 6:289-316, May 1994.
20. S. Poledna, A. Burns, A. Wellings, and P. Barrett. Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers, 49:100-110, Feb. 2000.
21. S. Sastry, J. Sztipanovits, R. Bajcsy, and H. Gill. Scanning the issue - special issue on modeling and design of embedded software. Proceedings of the IEEE, 91(1):3-10, 2003.
22. U. Schmid and K. Schossmaier. Interval-based clock synchronization. Real-Time Systems, 12(2):173-228, 1997.
23. C. Szyperski. Component Software. Addison-Wesley Professional, nov 2002.
24. TTTech Computertechnik AG. Time Triggered Protocol TTP/C High-Level Specification Document. 2003.