Learn More
The IEC 61499 standard proposes a component-oriented approach for specifying industrial-process measurement and control systems using function blocks. Unfortunately, the standard does not provide rigorous semantics for the execution of function blocks, resulting in different behaviours on different implementations. The differences arise mostly as a result(More)
Reactivity on external events is an important feature of almost all embedded systems. In this paper we present the design of a new, reactive embedded microprocessor called REMIC, that supports reactivity in a new way following the paradigm of synchronous system level language Esterel. The rationale for REMIC design, its novel features with the design(More)
—Current trends in the manufacturing sector have greatly increased the need for portability and reusability in software systems for industrial control and automation. The IEC 61499 standard has emerged out of this need for a platform-independent way to develop industrial control systems. So far, typical IEC 61499 solutions have relied on some run-time(More)
Collaborative communications in sensor networks is analyzed for the case when a phase error, which is result of a displacement error, exists in the system. In this paper we analyze a more realistic collaborative communication system that includes the influence of AWGN and phase error on the signal transmission. A mathematical analysis is performed to(More)
— IEC 61499 has been endorsed as the standard for modelling and implementing distributed industrial-process measurement and control systems. The standard prescribes the use of function blocks for designing systems in a component-oriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are(More)
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 Asynchronous Locally Synchronous (GALS) model of computation. The synchronous reactive (SR) model is used for synchronous parts of the modelled system, and those parts, which(More)