Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering

Numerous roadblocks can be encountered when managing projects directed at deploying complex computer-based systems, or systems of systems (SoS), bound to operate autonomously. Existing system engineering (SE) methods and supporting tools are not applicable as they stand for mastering the complexity involved with modern (current, future) applications and/or operations, in the civilian domain as well as in the defense domain.

[1]  Frits W. Vaandrager,et al.  Lectures on Embedded Systems , 1996, Lecture Notes in Computer Science.

[2]  Brian J. Sauser,et al.  System-of-Systems Engineering Management: A Review of Modern History and a Path Forward , 2008, IEEE Systems Journal.

[3]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[4]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods ...Ten Years Later , 2006, Computer.

[5]  Gérard Le Lann.  1 Models, Proofs and the Engineering of Computer‐Based Systems: A Reality Check , 1999 .

[6]  Gérard Le Lann.  Proof-Based System Engineering and Embedded Systems , 1996, European Educational Forum: School on Embedded Systems.

[7]  John M. Rushby.  What Use is Verified Software? , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[8]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[9]  Peter J. Denning,et al.  The profession of ITIs software engineering engineering? , 2009, CACM.

[10]  David Powell.  Failure mode assumptions and assumption coverage , 1992 .

[11]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[12]  C. A. R. Hoare.  Science and Engineering: A Collusion of Cultures , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).