A. Mashkoor

This documents presents a description of a case study concerning the control of a hemodialysis HD machine. Expand

Cyber-physical systems (CPSs) offer many opportunities but pose many challenges—especially regarding functional safety, cybersecurity, and their interplay, as well as their impact on society. Expand

We present a comprehensive set of criteria, based on a systematic literature review and decade-long personal experience in industrial projects, for evaluating and comparing different formal methods. Expand

This paper presents a formal development process, based on the Abstract State Machine method, that integrates most of the activities required by the standard and fulfills the FDA principles. Expand

We propose transformation heuristics in order to produce a derived animatable specification which may be non-provable, but exhibiting the same behavior as the original specification. Expand

We present a novel approach for live, multi-tool, consistency checking where engineers continue to use their respective tools and receive inconsistency feedback across their tools' artifacts in a live manner. Expand

In this paper, we identify the factors that govern the decision of making software applications in-house, outsourcing them, or buying them from the market. Expand

We analyze the modeling languages which are capable to support the concept of MDA for its full potential. Expand

This paper presents Asm2C++, a tool that automatically generates executable C++ code for Arduino from a formal specification given as Abstract State Machines (ASMs). Expand