Model-based development of fault-tolerant embedded software

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 103-110

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

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; FORMAL METHODS; MACROS; SAFETY ENGINEERING;

APPLICATION CODES; APPLICATION DEVELOPERS; DISTRIBUTED SYSTEMS; FAULT TOLERANCE MECHANISMS; MODEL BASED DEVELOPMENT; MODEL-BASED TOOLS; PROCESS MANAGEMENT; STATE OF THE ART;

APPLICATION PROGRAMS;

EID: 60749086907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.22     Document Type: Conference Paper

References (19)

1. Miller, J., Mukerji, J.: MDA Guide. Object Management Group, Inc. (2003) Version 1.0.1 (omg/03-06-01).
2. Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer-Verlag New York, Inc., Secaucus, NJ, USA (1990)
3. Barnard, P.: Software Development Principles Applied to Graphical Model Development. In: AIAA Modeling and Simulation Technologies Conference and Exhibit, San Francisco. (2005)
4. Buckl, C., Knoll, A., Schrott, G.: Development of Dependable RealTime Systems with Zerberus. In: 11th International Symposium, Pacific Rim Dependable Computing, PRDC 2005, Changsha, China, December 12-15, 2005, Proceedings, IEEE (2005) 404-408
5. RTCA DO-178B: Software considerations in airborne systems and equipment certification. (1992)
6. Sastry, S., Sztipanovits, J., Bajcsy, R., Gill, H.: Scanning the issue - special issue on modeling and design of embedded software. Proceedings of the IEEE 91 (2003) 3-10
7. Kopetz, H., Bauer, G.: The Time-Triggered Architecture. Proceedings of the IEEE 91 (2003) 112 - 126
8. Kopetz, H., G. Grnsteidl, J. Reisinger: Fault-tolerant membership service in a synchronous distributed real-time system. In: Dependable Computing for Critical Applications. (1991) 411-429
9. TTTech Computertechnik AG: Time Triggered Protocol TTP/C HighLevel Specification Document. (2003)
10. Armstrong, J.: Erlang - a Survey of the Language and its Industrial Applications. In: INAP'96 - The 9th Exhibitions and Symposium on Industrial Applications of Prolog, Hino, Tokyo, Japan (1996) 16-18
11. Saglietti, F.: Licensing reliable embedded software for safety-critical applications. Real-Time Systems 28 (2004) 217-236
12. Echtle, K.: Fehlertoleranzverfahren. Springer Verlag (1990)
13. Buckl, C., Knoll, A., Schrott, G.: The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings. Lecture Notes in Computer Science, Springer (2005) 101-120
14. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. Proceedings of the First International Workshop on Embedded Software (EMSOFT) (2001) 166 - 184
15. Poledna, S., Burns, A., Wellings, A., Barrett, P.: Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers 49 (2000) 100-110
16. Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM 32 (1985) 52-78
17. Schmid, U., Schossmaier, K.: Interval-based clock synchronization. Real-Time Systems 12 (1997) 173-228
18. Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20 (1973) 46-61
19. Buttazzo, G.C.: Rate monotonic vs. edf: judgment day. Real-Time Syst. 29 (2005) 5-26