Learn 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)
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)
This paper proposes an approach for pedestrian tracking using dead reckoning on a standard smartphone. Previous studies report tracking pedestrians when the mobile device is carried in a defined way within the tracking period. This paper presents a new approach which extends and enhances previous methods by identifying three typical modes of carrying the(More)