According to best practices of model‐driven engineering, the implementation of a system
should be obtained from its model through a systematic model‐to‐code transformation. We …

After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …

Medical devices are safety-critical systems since their malfunctions can seriously
compromise human safety. Correct operation of a medical device depends upon the …

In model-driven design of embedded systems, how to generate code from high-level control
models seamlessly and correctly is challenging. This is because hybrid systems are …

Especially in industrial applications of formal modeling, validation is as important as
verification. Thus, it is important to integrate the stakeholders' and the domain experts' …

Cyber-physical systems (CPSs) are physical embedded systems with enhanced operations
for monitoring, coordination, control, and integration by a computing and communication …

The development of medical devices is a safety-critical process, because a failure or a
malfunction of the device can cause serious injuries to the patients whom use it. The …

Software reuse has potential for educational purposes since it uses decomposition and
abstraction, two necessary skills to learn programming. Software reuse techniques require …

In this paper we propose a new approach to conformance testing based on Abstract State
Machine (ASM) model refinement. It consists in generating test sequences from ASM models …