Context: Safety is of paramount importance for cyber–physical systems in domains such as
automotive, robotics, and avionics. Formal methods such as model checking are one way to …

The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …

This article shares an experience in using the systems modeling language (SysML) for the
design and formal verification of unmanned aerial vehicles (UAVs). In particular, this article …

Abstract Rapid advancements in Software Verification and Validation have been critical in
the wide development of tools and techniques to identify potential Concurrent bugs and …

The verification of model transformations is important for realizing robust model-driven
engineering technologies and quality-assured automation. Many approaches for checking …

Pervasive Healthcare systems are breeding rapidly and distributed systems such as fog,
cloud, and IoT have made it possible for these systems to scale extensively with a certain …

Code conversion, encompassing translation, optimization, and generation, is becoming
increasingly critical in information systems and the software industry. Traditional validation …

Software Quality Control (SQC) techniques are widely used throughout the software
development process with the objective of assessing and detecting anomalies that affect the …

Component-based software engineering has emerged as a principle of software design to
facilitate reuse and improve the software quality. This principle is supported by the domain …

Abstract Model transformations have proved to be powerful in the development of critical
systems. According to their intents, they have been used in many domains such as models …