Convergence of physical system and cyber system modeling methods for aviation cyber physical control system

2014 IEEE International Conference on Information and Automation, ICIA 2014

Volumn , Issue , 2014, Pages 542-547

  Zhang, Lichen ^a,b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

AADL; Aviation Cyber Physical System; Dynamic Continuous Features; Modelica; Modelicaml; Spatial Temporal Features

Indexed keywords

EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; SOFTWARE ENGINEERING;

AADL; CONTINUOUS FEATURES; MODELICA; MODELICAML; SPATIAL-TEMPORAL FEATURES;

CYBER PHYSICAL SYSTEM;

EID: 84914177573     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICInfA.2014.6932714     Document Type: Conference Paper

References (23)

1. Krishna Sampigethaya, Radha Poovendran: Aviation Cyber-Physical Systems: Foundations for Future Aircraft and Air Transport. Proceedings of the IEEE 101(8): 1834-1855 (2013)
2. K. Sampigethaya, R. Poovendran and L. Bushnell, Secure Operation, Control and Maintenance of Future eEnabled Airplanes, Proceedings of the IEEE, Special issue on Aviation Information Systems, vol. 96, no. 12, pp. 1992-2007, December 2008.
3. K. Sampigethaya and R. Poovendran, Transportation CPS: Insights from Aviation on Major Challenges and Directions, invited (position paper), NSF Transportation CPS Workshop, 23-24 January 2014.
4. Krishna Sampigethaya and Radha Poovendran. Cyber-Physical System Framework for Future Aircraft and Air Traffic Control. 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC), 14-18 Oct. 2012, P 1-9
5. Ella M. Atkins. Cyber-physical Aerospace:Challenges and Future Directions in Transportation and Exploration Systems. varma.ece.cmu.edu/cps/Position-Papers/Ella-Atkins.pdf
6. Janos Sztipanovits: Cyber Physical Systems-Convergence of Physical and Information Sciences. it-Information Technology 54(6): 257-265 (2012)
7. Janos Sztipanovits et al.Toward a Science of Cyber-Physical System Integration. Proceedings of the IEEE 100(1): 29-44 (2012)
8. Mattsson, S.E., Elmqvist, H., Otter, M. Physical system modeling with Modelica. Control Engineering Practice, vol. 6, pp. 501-510, 1998
9. Schamai W. Modelica Modeling Language (ModelicaML) A UML Profile for Modelica, technical report 2009:5, EADS IW, Germany, Linkoping University, Sweden, 2009
10. 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.
11. Frank Slomka, Ste-en Kollmann, Ste-en Moser and Kilian Kemp. A Multidisciplinary Design Methodology for Cyber-physical Systems. www.cs.kuleuven.be/-stefanv/public-html/../ACES-MB02.pdf
12. Fritzson, P.: Modelica-a cyber-physical modeling language and the openmodelica environment. In: IWCMC, pp. 1648-1653. IEEE (2011)
13. Pop, A., and Akhvlediani, D., and Fritzson, P. Towards Unified Systems Modeling with the ModelicaML UML Profile. International Workshop on Equation-Based Object-Oriented Languages and Tools. Berlin, Germany, Linköping University Electronic Press, 2007
14. OMG. OMG Unified Modeling Language TM (OMG UML). Superstructure Version 2.2, February2009.
15. OMG. OMG Systems Modeling Language (OMG SysML™), Version 1.1, November 2008.
16. Lewis, B ; Feiler, P. Multi-dimensional Model Based Engineering Using AADL, RSP '08., The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 2008., Page(s): xv-xviii
17. Jifeng He, "A Clock-Based Framework for Construction of Hybrid Systems," Lecture Notes in Computer Science 8049, ICTAC 2013, pp.22-41, 2013.
18. Ian Moir, Allan Seabridge. Aircraft systems: mechanical, electrical, and avionics subsystems integration, John Wiley & Sons Ltd, 2008
19. Simoni Serena. Development of a Multi-Physics model of a Civil Aircraft for Ground Manoeuvres using Modelica. http://etd.adm.unipi.it/t/etd-05192007-165436/
20. K. Sampigethaya, R. Poovendran, "Cyber-Physical Integration in Future Aviation Information Systems," in 31th IEEE/AIAA Digital Avionics Systems Conference, October 2012. Best Paper of Session Award in Avionics Information Management session
21. Andreas Idebrant, Peter Fritzson. Aircraft-A Modelica Library for Aircraft Dynamics Simulation. https://modelica.org/../2004-09-Idebrant-Fritzson-AircraftLib-Eurosim.pdf
22. Hudak J J, Feiler P H. Developing aadl models for control systems: A practitioner's guide[J]. 2007.
23. Bruce Lewis, Peter H Feiler, Jérôme Hugues. AADL-OSATE Status and future. http://gforge.enseeiht.fr/docman/view.php/52/4296/A3-ISAE.pdf