Model-based engineering of cyber-physical software systems for smart worlds: A case study of automobile control systems

The paper discusses the design of cyber-physical systems software around intelligent physical worlds (IPW). An IPW is the embodiment of control software functions wrapped around the external world processes. The IPW performs core domain-specific activities while adapting its behavior to the changing environment conditions and user inputs. The IPW exhibits an intelligent behavior over a limited operating region of the system - in contrast with the traditional models where the physical world is basically dumb. The intelligent behavior of IPW is feasible when certain system properties hold: function separability and piece-wise linearity of system behavioral models. To work over a wider range of operating conditions, the IPW interacts with an intelligent computational world (ICW) to patch itself with suitable control parameters and rules/procedures relevant in those changed conditions. The modular decomposition of a complex adaptive system into IPW and ICW has many advantages: lowering overall software complexity, simplifying system verification, and supporting easier evolution of system features. The paper illuminates our concept of IPW with a software engineering-oriented case study of applications.

[1]  穂鷹 良介.  Non-Linear Programming の計算法について , 1963 .

[2]  Rajesh Rajamani,et al.  Electronic Stability Control , 2012 .

[4]  Keith Marzullo,et al.  Making real-time reactive systems reliable , 1990, EW 4.

[5]  A. Polychronopoulos,et al.  Multiple sensor collision avoidance system for automotive applications using an IMM approach for obstacle tracking , 2002, Proceedings of the Fifth International Conference on Information Fusion. FUSION 2002. (IEEE Cat.No.02EX5997).

[6]  Arnd Poetzsch-Heffter,et al.  Slicing for model reduction in adaptive embedded systems development , 2008, SEAMS '08.

[7]  Christian Callegari,et al.  Advances in Computing, Communications and Informatics (ICACCI) , 2015 .

[8]  Adrian Rodriguez Orozco.  Evaluation of an Active Steering System , 2004 .

[9]  Tore Hägglund,et al.  Optimal control allocation in vehicle dynamics control for rollover mitigation , 2008, 2008 American Control Conference.

[10]  Jon Rigelsford,et al.  Automotive Control Systems: For Engine, Driveline and Vehicle , 2004 .

[11]  Anthony Rowe,et al.  A Model-Based Design Approach for Wireless Sensor-Actuator Networks , 2010 .

[12]  Nancy G. Leveson.  Software Challenges in Achieving Space Safety , 2009 .

[13]  Chan-Gun Lee,et al.  Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[14]  Yuhui Shi,et al.  chapter two – Computational intelligence , 2007 .

[15]  Priya Narasimhan,et al.  Experiences with a CANoe-based fault injection framework for AUTOSAR , 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).

[16]  Jinpeng Ma,et al.  Model-Based Design and Verification of Embedded Software , 2004 .

[17]  Christine Julien,et al.  Virtual sensors: abstracting data from physical sensors , 2006, 2006 International Symposium on a World of Wireless, Mobile and Multimedia Networks(WoWMoM'06).

[18]  Gail E. Kaiser,et al.  Self-managing systems: a control theory foundation , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).