Proof-based system engineering and embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1494, Issue , 1998, Pages 208-248

  Le Lann, Gérard ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ENGINEERING;

ARIANE 5; BASIC PRINCIPLES; COMPUTER-BASED SYSTEM; ENGINEERING DISCIPLINES; PROOF OBLIGATIONS;

EMBEDDED SYSTEMS;

EID: 84958968215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-65193-4_23     Document Type: Conference Paper

References (17)

1. Bernstein, P. A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley Pub., ISBN 0-201-10715-5 (1987) 370 p.
2. Gaubert S., Max Plus: Methods and Applications of (max, +) Linear Algebra, INRIA Research Report 3088 (Jan. 1997) 24 p.
3. Hadzilacos, V., Toueg, S.: A Modular Approach to Fault-Tolerant Broadcasts and Related Problems, Technical Report, TR 94-1425, Cornell University (May 1994).
4. Hermant, J.F., Le Lann, G.: A Protocol and Correctness Proofs for Reai-Time High-Performance Broadcast Networks, 18th IEEE Intl. Conference on Distributed Computing Systems, Amsterdam, NL (May 1998) 10 p.
5. Hermant, J.F., Leboucher, L., Rivierre, N.: Real-Time Fixed and Dynamic Priority Driven Scheduling Algorithms: Theory and Experience. INRIA Research Report 3081 (Dec. 1996) 139 p.
6. Inquiry Board Report: Ariane 5 - Flight 501 Failure, Paris (19 July 1996) 18 p. [http://www.inria.fr/actualites-fra.html].
7. Joseph, M., et al.: Real-Time Systems - Specification, Verification and Analysis. Prentice Hall UK Pub., ISBN 0-13-455297-0 (1996) 278 p.
8. Knightly E.W., Zhang Hui: D-BIND: An Accurate Traffic Model for Providing QoS Guarantees to VBR Traffic. IEEE/ACM Transactions on Networking, vol. 5, n°2 (April 1997) 219-231.
9. Korea, G., Shasha, D.: D-Over: An Optimal On-Line Scheduling Algorithm for Overloaded Reai-Time Systems, INRIA Technical Report 138 (Feb. 1992) 45 p.
10. Kuhn, D.R.: Sources of Failure in the Public Switched Telephone Network, IEEE Computer (April 1997) 31-36.
11. Le Lann, G.: Certifiable Critical Complex Computing Systems. 13th IFIP World Computer Congress, Duncan K. and Krueger K. Eds, Elsevier Science Pub., vol. 3, Hamburg, D (Aug. 1994) 287-294.
12. Le Lann, G.: Proof-Based System Engineering for Computing Systems, ESAINCOSE Conference on Systems Engineering, Noordwijk, NL (Nov. 1997) IEE/ESA Pub., vol. WPP-130, 5a.4.1 - 5a.4.8.
13. Le Lann, G.: An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective. IEEE Intl. Conference on the Engineering of Computer-Based Systems, Monterey, USA (March 1997) 339-346.
14. Leveson, N.G., Turner, C.: An Investigation of the Therac-25 Accidents, IEEE Computer (July 1993) 18-41.
15. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Pub., ISBN 1-55860-348-4 (1996) 872 p.
16. Neumann, P.G.: Computer Related Risks, Addison-Wesley Pub., ISBN 0-201- 55805-X (1995) 367 p.
17. Powell, D.: Failure Mode Assumptions and Assumption Coverage, 22nd IEEE Intl. Symposium on Fault-Tolerant Computing, Boston, USA (July 1992) 386-395.