Desirable Advances in Cyber-Physical System Software Engineering

The scale and complexity of advanced cyber-physical systems (CPSs) are steadily growing. Most new-generation CPSs being developed or to be developed involve networked embedded computing (NEC) devices. The state of the art in software engineering for such network-based CPSs is weak. Major problems faced are the low quality of network-based CPS software and the low productivity of CPS software engineers. One type of desirable advance in enhancing the state of the art is to establish high-level programming tools boosting the productivity of software engineers. Here additional types of desirable advance are discussed. Specifically, the establishment of methods and tools for quantitatively analyzable fault tolerance design as well as for design of time-constrained security enforcement is proposed.