Real-time systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. Models have been used for a long time to build complex systems, in virtually every engineering field. This is because they...

Purpose This paper provides an overview of agent-based modeling and simulation (ABMS) and evaluates the questions that have been raised regarding the “assumptions and mechanisms used” by a well-cited paper that has used this methodology. Design/methodology/approach This work provides a...

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The...