A Formal Model-based Approach to Engineering Systems-of-Systems
- Lookup NU author(s)
- Professor John Fitzgerald
- Dr Jeremy Bryans
- Dr Richard Payne
|
|
|
|
| Author(s) | | Fitzgerald J, Bryans J, Payne R |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | June 2012 |
| Report Number | | 1338 |
| Pages | | 14 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| Systems-of-systems (SoS) are network-enabled synergistic collaborations between systems that are operationally and managerially independent, distributed, evolve dynamically and exhibit emergence. The design of dependable SoS requires model-based approaches that permit description of contracts between constituent systems at interfaces in a SoS architecture, including functionality and interaction behaviour, and that permit verification of global behaviours. We describe an approach to formal model-based SoS engineering using complementary notations for functional, interaction and architectural aspects. A case study in modelling information flow in an emergency response SoS demonstrates the viability of the proposed approach and highlights a need for common semantic foundations. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
