The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …

Safety-critical systems require development methods and processes that lead to provably
correct systems in order to prevent catastrophic consequences due to system failure or …

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

In this paper, we present AsmetaA–a graphical animator for Abstract State Machines
integrated within the ASMETA framework. The execution of formal specifications through …

In this paper, we present an approach to conformance testing based on abstract state
machines (ASMs) that combines model refinement and test execution (rate) and its …

Even though the formal method community tends to overlook the problem, formal methods
are sometimes difficult to use and not accessible to average users. On one hand, this is due …

Medical and health processes are increasingly dependent on software that plays a critical
safety role in diagnosis, decisions, and device control or functioning. Software is present in …

Abstract State Machines (ASM) are a formal specification language which is used in the
software and system engineering. Different to UML2 diagrams, which are another well …

Abstract Control State Diagrams (CSD) are a graphical representation of Control State
Abstract State Machines, a subclass of Abstract State Machines (ASM). We extend the …