Abstract
Cyber physical systems are growing in scale and complexity. The cyber physical systems such as transportation systems and aerospace systems are systems of systems that are large scale concurrent and distributed systems and comprised of complex systems. In order to specify and model such kind of systems, we need develop specification and modeling methods which would be capable to encompass the systems of systems (SoS) specific properties of cyber physical systems. In this paper, we propose a new paradigm for specifying and modeling cyber physical systems based on system-of-systems approach. In this paper, we extend AADL in modeling dynamic continuous aspect and spatial aspect, and integrate AADL with Modelica, and formal methods to specify and model cyber physical systems based on system-of-systems approach. We specify cyber part of cyber physical systems with, and model physical part of cyber physical systems with Modelica. We apply formal specification method in requirement analysis process in order to ensure that the software requirements model satisfies required system function and performance goals and constraints, including safety. The effectiveness of the approach is demonstrated with a case study of Vehicular Ad-hoc NETwork.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
D. Luzeaux & JR Ruault. Systems of Systems, ISTE Ltd and John Wiley & Sons Inc, 2010
Ireland, V. and Ooi-Sanches, Y. Recognising further concepts from complex systems research in SoSE, the Proceedings of 2013 8th International Conference on System of Systems Engineering (SoSE),. Hawaii, USA, p 93-98, Date 2-6 June 2013
D.A. DeLaurentis and W.A. Crossley, “A Taxonomy Bases Perspective for System of Systems Design Methods”, IEEE International Conference on Systems, Man and Cybernetics, 2005
Alex Gorod, Brian Sauser, and John Boardman. System-of-Systems Engineering Management: A Review of Modern History and a Path Forward, IEEE SYSTEMS JOURNAL, VOL. 2, NO. 4,p 484-499, DECEMBER 2008
B. Sauser, J. Boardman, and A. Gorod, “SoS management,” in System of systems engineering—Innovations for the 21st Century, M. Jamshidi, Ed. Hoboken, NJ: Wiley, 2008.
'Systems Engineering Guide for Systems of Systems' Office of the Under Secretary of Defense, USA DoD, August 2008
C. Keating, R. Rogers, R. Unal, D. Dryer, A. Sousa-Poza, R. Safford, W. Peterson, and G. Rabadi, "System of systems engineering," EMJ – Engineering Management Journal, vol. 15, pp. 36-45, 2003.
Keating CB, Padilla JJ, Adams K. System of systems engineering requirements: challenges and guidelines. Eng Manag J 20:24–31
Keating CB, Katina PF.System of systems engineering: prospects and challenges for the emerging field. Int J Syst Syst Eng 2:234–256, 2011
Dale S. Caffall1 and James B. Michael2. A New Paradigm for Requirements Specification and Analysis of System-of-Systems, RISSEF 2002, LNCS 2941, pp. 108–121, 2004.
Jon Holt, Simon Perry, Mike Brownsword, Daniela Cancila, Stefan Hallerstede, Finn Overgaard Hansen: Model-based requirements engineering for system of systems. SoSE 2012: 561-566
Fitzgerald JS, Larsen PG, Woodcock JCP. Foundations for Model-based Engineering of Systems of Systems. In: Complex Systems Design & Management. 2014, Paris: Springer International Publishing
Fitzgerald JS, Bryans JW, Payne RJ. A Formal Model-based Approach to Engineering Systems-of-Systems. In: Collaborative Networks in the Internet of Services. 2012, Bournemouth, UK: Springe
Trans-Atlantic Research and Education Agenda in Systems of Systems (T-AREA-SoS). Loughborough University © 2013. https://www.tareasos.eu/docs/pb/SoA_V3.pdf
TAREA-PU-WP5-R-LU-26, Issue 2, Release: 15th August 2013, Loughborough University © 2013. https://www.tareasos.eu/docs/pb/SRA_Issue2.pdf
Frederic Loiret, Romain Rouvoy, Lionel Seinturier. Software Engineering of Component-Based1Systems-of-Systems: A Reference Framework. 14th International ACM SIGSOFT Symposium on Component-Based Software Engineering, (CBSE'11) (2011) 61-65
M Mansfield, J Fitzgerald. Modelling Systems of Cyber-Physical Systems. wiki.overturetool.
SAE AS-2C. Architecture Analysis & Design Language. SAE International Document AS5506B(2012) Revision 2.1 of the SAE AADL standard, Sept 2012.
Feiler P H, Gluch D P, Hudak J J. The architecture analysis & design language (AADL): An introduction[R]. CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2006
Dionisio de Niz and Peter H. Feiler. Aspects in the industry standard AADL. AOM '07 Proceedings of the 10th international workshop on Aspect-oriented modeling.P15 – 20
Modelica - a unified object-oriented language for physical systems modelling. Language specification. Technical report, Modelica Association, 2002.
Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems.(1998). [Online]. Available: http://www.objectime.com/uml
Ghassan M. T. Abdalla, Mosa Ali Abu-Rgheff, Sidi Mohammed Senouci, "Current Trends in Vehicular Ad Hoc Networks", Ubiquitous Computing and Communication Journal, p.p.1-9, 2007
Sherali Zeadally et al. Vehicular ad hoc networks (VANETS): status, results, and challenges, Telecommunication Systems, Volume 50, Issue 4, pp 217-241, August 2012
Hagen Stubing,Adam Opel Gmbh Marc Bechler.simTD: A Car-to-X System Architecture for Field Operational Tests[J]. IEEE Communications Magazine. 2010,48(5):148-154.
Hudak J J, Feiler P H. Developing aadl models for control systems: A practitioner’s guide[J]. 2007.
Reed G M, Roseoe A W. A timed model for communicating sequential processes[C]//Pro ICALP’86. Lecture Notes in Computer Science. Berlin:Springer, 1986
A. Platzer. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, 2010. 426 p. ISBN 978-3-642-14508
Acknowledgments
This work is supported by the national natural science foundation of China under grant (No.61370082, No.61173046), natural science foundation of Guangdong province under grant (No.S2011010004905). This work is also supported by Shanghai Knowledge Service Platform Project (No.ZF1213)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhang, L. (2015). Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems. In: Selvaraj, H., Zydek, D., Chmaj, G. (eds) Progress in Systems Engineering. Advances in Intelligent Systems and Computing, vol 366. Springer, Cham. https://doi.org/10.1007/978-3-319-08422-0_88
Download citation
DOI: https://doi.org/10.1007/978-3-319-08422-0_88
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08421-3
Online ISBN: 978-3-319-08422-0
eBook Packages: EngineeringEngineering (R0)