IEC 61499 has been endorsed as the standard for modeling and implementing distributed
industrial process measurement and control systems. The standard prescribes the use of …

Many implantable medical devices, such as pacemakers, have been recalled due to failure
of their embedded software. This motivates rethinking their design and certification processes…

In this paper we present the syntax, semantics, and compilation of a new system-level
programming language called SystemJ. SystemJ is a multiclock language supporting the Globally …

Accurate estimation of the tick length of a synchronous program is essential for efficient and
predictable implementations that are devoid of timing faults. The techniques to determine the …

Car-following is the activity of safely driving behind a leading vehicle. Traditional mathematical
car-following models capture vehicle dynamics without considering human factors, such …

This article describes the features and development of intelligent machines and concentrates
on their information processing infrastructure. IEC 61499 function blocks have been used …

Synchronous programming is a paradigm of choice for the design of safety-critical reactive
systems. Runtime enforcement is a technique to ensure that the output of a black-box system …

Rear-end collision avoidance relies on mathematical models to calculate the safety distance.
Vehicle deceleration is a key parameter for the accuracy of the models. Current models, …

The IEC 61499 standard provides definition of various structures, such as systems, devices,
resources, and various function block types, which allow for a component-oriented design of …

Cyber-physical systems (CPSs) are implemented in many industrial and embedded control
applications. Where these systems are safety-critical, correct and safe behavior is of …