Software engineering for real-time: A roadmap

Proceedings of the Conference on the Future of Software Engineering, ICSE 2000

Volumn , Issue , 2000, Pages 201-211

  Kopetz, Hermann ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Composability; Distributed systems; Real time systems; System architecture; Validation

Indexed keywords

COMPUTER CONTROL SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; HYDRAULIC MACHINERY; INTERACTIVE COMPUTER SYSTEMS; NETWORK SECURITY; SOFTWARE ENGINEERING;

COMPOSABILITY; DISTRIBUTED EMBEDDED REAL-TIME SYSTEMS; DISTRIBUTED REAL TIME SYSTEM; DISTRIBUTED SYSTEMS; REAL-TIME COMPUTER SYSTEMS; SOFTWARE ENGINEERING PROCESS; SYSTEM ARCHITECTURES; VALIDATION;

REAL TIME SYSTEMS;

EID: 84889002170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/336512.336555     Document Type: Conference Paper

References (19)

1. ARINC (1992). Software Considerations in Airborne Systems and Equipment Certification. ARINC, Annapolis, Maryland.
2. Caro, D. (1998). What Does Real Time Mean Anyway. Instrument Society of America, http://www.isa.org/jouriaals/ic/octfloor/html.
3. Deirauer, P. and B. Woolever (1998). Understanding Smart Devices. Industrial Computing. Vol. pp. 47-50.
4. Fabre, J. C., F. Salles, et al. (1999). Assessment of COTS Microkernels by Fault Injection. Seventh Internatinal Working Conference on Dependable Computing, San Jose, Cal. IEEE Press. pp. 19-38.
5. Frank, R. (1995). Understanding Smart Sensors. London. Artech House.
6. Garlan, D. (2000) Software Architecture: A Roadmap. in this volume.
7. Hedenetz, B. and R. Belschner (1998). "Brake by Wire" without Mechanical Backup by Using a TTP Communication Network. SAE World Congress, Detroit Michigan. SAE Press, Warrendale, PA, USA.
8. Kopetz, H. (1997). Real-Time Systems, Design Principles for Distributed Embedded Applications; ISBN: 0-7923-9894-7, Third printing 1999. Boston. Kluwer Academic Publishers.
9. Kopetz, H. (1998). Component-Based Design of Large Distributed Real-Time Systems. Control Engineering Practice-A Journal of lFAC, Pergamon Press. Vol. 6. pp. 53-60.
10. Kopetz, H. and R. Nosssal (1997). Temporal Firewalls in Large Distributed Real-Time Systems. Proceedings of IEEE Workshop on Future Trends in Distributed Computing, Tunis, Tunesia. IEEE Press. pp. 310-315.
11. Kopetz, H. and T. Thurner (1998). TTP-A new approach to solving the interoperability problem of independently developed ECUs. SAE Congress 1998, Detroit, USA. SAE Press 981107. pp. 1-7.
12. Littlewood, B. and L. Strigini (1-995). Validation of Ultradependability for Software Based Systems. Predictably Dependable Computing Systems B. Randell, J. L. Laprie, H. Kopetz and B. Littlewood Ed. l;Ieidelbe4g Snrin erVerla no. 473-493
13. Lutz, R. "(2000) Soflwa L gmeerm, for afety: A Roadmap. In this volume
14. OMG, 9. (1998). Real-Time CORBA. Object Management Group, Framingham, Mass.
15. Poledna, S. (1994). Replica Determinism in Fault-Tolerant Real-Time Systems. Kluwer Academic Publishers, Boston.
16. Rushby, J. (1993). Formal Methods and the Certification of Critical Systems. Computer Science Lab, SRI.
17. Selic, B. (1999). Turning Clockwise: Using UML in the Real-Time Domain. Comm. ACM. Vol.42, No. 10, Oct. 1999. pp.46-54
18. SIA (1997). National Roadmap for Semiconductors. Semiconductor Industry Association, http://notes.sematech.org/ntrs/Rdmpmen.
19. Wilhelm, R. (1999). Special Issue on Timing Analysis and Validation for Real-Time Systems. Real-Time Systems, Kluwer Academic Publishers. Vol. 17. pp. 127-287.