Formal Methods in a System-of-Systems Development

Caffall, Dale Scott; Michael, J.B.

doi:10.1109/icsmc.2005.1571417

Cited by 5 publications

(5 citation statements)

References 19 publications

(13 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These techniques, however, have been applied only experimentally in SoS engineering (e.g. [5]). There are many formal languages suitable for expressing and analysing particular features of a system.…”

Section: Formal Modellingmentioning

confidence: 98%

Semi-formal and formal interface specification for system of systems architecture

Bryans

Payne

Holt

et al. 2013

2013 IEEE International Systems Conference (SysCon)

View full text Add to dashboard Cite

The independence of the constituent systems of a system of systems presents a key challenge to the discipline of system of systems (SoS) engineering. The fact that constituent systems can and do function independently of the SoS means that engineers of a constituent system cannot rely on the behaviour of other constituent systems. This paper advocates a modelbased approach to SoS engineering that requires the interfaces to constituent systems to be specified. We propose an use of an interface design pattern for interface specification that uses the industry standard notation, SysML. We also indicate a translation of these specifications to a formal notation, CML, in order to extend the range of analytic techniques available to the SoS engineer.

show abstract

Section: Formal Modellingmentioning

confidence: 98%

Semi-formal and formal interface specification for system of systems architecture

Bryans

Payne

Holt

et al. 2013

2013 IEEE International Systems Conference (SysCon)

View full text Add to dashboard Cite

show abstract

“…A stronger analysis of these aspects can be achieved by using formal methods. In recent years the application of formal methods in SoS development has been recommended multiple times in the SoS literature [30,58]. This has led to research and development in concrete formal SoS modelling notations [251,86,73].…”

Section: Modelling and Simulationmentioning

confidence: 99%

“…A range of methods, processes and approaches has been transferred from other engineering fields, such as "Software Engineering" and "Systems Engineering", in order to create a strong foundation for the field [126]. One such example is the use of systems modelling and in recent years the application of formal methods in SoS development has been proposed multiple times in the SoS literature [30,58]. New research projects have been started that are aimed at providing tools and methods with a basis in formal modelling for the engineering of SoS.…”

Section: Motivationmentioning

confidence: 99%

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Nielsen

2014

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

View full text Add to dashboard Cite

As people and businesses experience the advantages and capabilities enabled by increased connectivity and integration between computer systems, a higher demand arises for the functionality and services that systems must provide. This necessitates the creation of a type of highly complex systems that themselves contain systems, which have a high degree of interconnectivity and interactions between them. This type of system is known as a System of Systems, which denotes a system that itself contains a group of heterogeneous constituent systems that via the interactions between them create a synergistic collaboration through which a higher common goal can be achieved. The development of a System of Systems is challenged by a high degree of complexity in the form of diverse stakeholders, geographical distributed development, a constant system evolution, an unpredictable emergence of behaviour, and the heterogeneity between the constituent systems. These challenges are being addressed in the field of Systems of Systems Engineering. The methodologies and tools used for analysis and development are however still in their infancy. This dissertation is focused on strengthening the Systems of Systems Engineering field by using a combination of Software Engineering and Systems Engineering, specifically with a focus on formal model based engineering techniques and tool-support hereof. The dissertation has three focus areas: managing integration challenges, enhancing the capabilities of System of Systems modelling and enabling collaborative development in formal modelling. The result is: a range of classification dimensions that characterise System of Systems; a System of Systems classification for design patterns; and multiple approaches for improving the tool-support for formal modelling techniques in System of Systems Engineering. vii There are a number of people who have been important in the completion of this dissertation, as their support, guidance and assistance made it all possible. To all of these, and many others, who contributed academically or personally, I owe a great deal. First I want to thank my supervisor Professor Peter Gorm Larsen from the Department of Engineering, Aarhus University. He has had a remarkable impact on both my research and my personal development. I am highly thankful for all he has taught me, both consciously and unconsciously, through his guidance, time and ideas. His never ending support and enthusiasm is both contagious and motivational. I want to acknowledge my colleagues in the COMPASS project whom have contributed strongly to my research by providing a foundation on which the research could be performed. They have contributed to my research with valuable ideas and feedback, for which I owe them my strongest appreciation. I also owe a strong recognition and thank you to Kenneth Lausdahl and Nick Battle for they support and work with the tool development efforts. Their impressive technical insights and expertises have been invaluable in the technical aspects of this dissertation. I wan...

show abstract

“…Formal techniques have been used in the analysis and validation of software systems for over four decades [5] and it has been widely encourage and extensively researched in both academia as well as in industry [2], [19]. While formal methods have traditionally been used in connection with the design and development of complex critical systems their application in a SoS context is still in its infancy, although some initial advances have been performed [14], [1]. The foremost reason for this is possibly the youth of the entire SoSE field and accordingly the lack of tools to support the formal description and analysis of SoS.…”

Section: Introductionmentioning

confidence: 99%

Extending VDM-RT to enable the formal modelling of System of Systems

Nielsen

Larsen

2012

2012 7th International Conference on System of Systems Engineering (SoSE)

View full text Add to dashboard Cite

When one wish to properly engineer dynamically evolving System of Systems (SoS) it is important to have tools that enable the different stakeholders to understand the consequences of diverse design decisions. Instead of merely using natural text and/or graphical diagrams we propose to make use of slight improvements to existing technology from the formal methods area to enable simulation of a model of the SoS. Here, we present how an extension of the tool support for the VDM Real Time (VDM-RT) technology enabling dynamic reconfiguration can form the basis for properly validating evolving SoS.

show abstract

Formal Methods in a System-of-Systems Development

Cited by 5 publications

References 19 publications

Semi-formal and formal interface specification for system of systems architecture

Semi-formal and formal interface specification for system of systems architecture

Strengthening Collaboration, Integration and Modelling in System of Systems Engineering

Extending VDM-RT to enable the formal modelling of System of Systems

Contact Info

Product

Resources

About