Search Results

The increasing complexity of software systems, especially in safety-critical domains, requires rigorous verification methodologies to ensure reliability and correctness. This paper presents a semantics for UML state machines using the formal ...

Motion transitions, which serve as bridges between two sequences of character animation, play a crucial role in creating long variable animation for real-time 3D interactive applications. In this paper, we present a framework to produce hybrid character ...

We present our vision for creating an industrial legacy software rejuvenation toolchain. The goal is to semi automatically remove code smells from stateful software used in Cyber Physical Systems (CPS). Compared to existing tools that remove code smells, ...

In this paper we describe how to build software architectures as a composition of state machines, using ideas and principles from the field of Domain-Driven Design. By definition, our approach is modular, allowing one to compose independent subcomponents ...

Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable ...

The emergence of programmable switches such as the Intel Tofino has made it possible, in theory, to implement many network monitoring applications directly in the network data plane. In practice, however, such implementations are often more challenging ...

For the development of the Extremely Large Telescope, the European Southern Observatory uses state machines to define life cycles and basic behavior of control software components. To provide certain degrees of freedom, the component life cycles need to ...

Prophecy variables were introduced in the article “The Existence of Refinement Mappings” by Abadi and Lamport. They were difficult to use in practice. We describe a new kind of prophecy variable that we find much easier to use. We also reformulate ideas ...

Data streaming platforms connect heterogeneous services through the publish-subscribe paradigm. Currently available platforms provide protection against crash faults, but are not resistant against Byzantine faults like arbitrary hardware faults and ...

Data streaming platforms connect heterogeneous services through the publish-subscribe paradigm. Currently available platforms provide protection against crash faults, but are not resistant against Byzantine faults like arbitrary hardware faults and ...

In this paper, we discuss our solution towards social issues such as theft, sexual assault, and work-related stress in the context of delivery in densely populated urban areas, especially with the rising concerns for covid-19 (Muschert & Budd, 2020). In ...

The automated synthesis of behavioural models in the form of state machines (SMs) from higher-level specifications has a high potential impact on the efficiency and accuracy of software development using models. In this paper, inspired by program ...

Mobile devices have limited resources, including memory and processing speed. The performance of mobile applications is an important concern. There are a large number of mobile platforms available with varying operating systems and hardware. ...

This paper proposes an automated model‐based approach for performance test generation for native application variants at unit‐level that specifically focuses on the evaluation of mobile device processing, memory, and battery consumption. The contributions ...

In this paper, we develop a foot‐mounted pedestrian navigation system prototype with the emphasis on distance measuring with an inertial measurement unit (IMU) which implies the characteristics of pedestrian gait cycle and thus can be used as a ...

Self-adaptive systems (SAS) are exceptional systems, on account of their versatile composition, dynamic behavior and evolutive nature. Existing formal languages for the specification of SAS focus on adapting system elements to achieve a target goal, ...

State machines are commonly used and well understood for hardware. However, in some cases they can introduce complexity as the program can no longer be read sequentially. We propose an extension to the SME model, which retains the sequential program ...

In the field of autonomous driving, the system controlling the vehicle can be seen as an agent acting in a complex environment and thus naturally fits into the modern framework of reinforcement learning. However, learning to drive can be a challenging ...

Cyber-Physical Systems (CPS) are composed of computing devices interacting with physical systems. Model-based design is a powerful methodology in CPS design in the implementation of control systems. For instance, Model Predictive Control (MPC) is ...

There are several efforts that seek to provide abstractions to represent the behavior of multimedia applications, each with its limitations and complexity. In this scenario, it is common to provide abstractions based on state machines, because they ...

Most modelling languages support full state machine modelling, including both composite states and specialization of state machines. Existing approaches to programming with states (state design patterns) either represent composite states by means of ...