Cyber-physical systems (CPSs) offer many opportunities but pose many challenges—
especially regarding functional safety, cybersecurity, and their interplay, as well as the …

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 …

A significant impediment to the uptake of formal refinement-based methods among
practitioners is the challenge of validating that the formal specifications of these methods …

Advanced medical devices exploit the advantages of embedded software whose
development is subject to compliance with stringent requirements of standardization and …

In this chapter, we consider the issue of validation in the context of formal software
development. Although validation is a standard practice in all industrial software …

As modern safety-critical systems continue to become more and more software-intensive,
this paradigm shift brings many challenges such as complex engineering processes and a …

The movement of microparticles in a continuous flow microfluidic device employing
dielectrophoresis for purposes of field-flow fractionation is a challenging problem since there …