Zoran A. Salcic

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)
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)
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)
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediate C code that is subsequently mapped to a suitable target processor. The generated code emulates the reactive features of the language due to lack of support for these features on(More)
Efficient and reliable interaction with the environment (reactivity) is a key feature for many embedded system applications. Current implementation technologies that include standard microprocessors and microcontrollers, or fully customized systems, are not ideally suited to such reactive tasks. We propose novel microprocessor architecture that has native(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 componentoriented approach. The execution model of a basic function block and the manner for event/data connections between blocks are(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)
After the cancellation of selective availability in May 2000, the accuracy of plain uncorrected global positioning systems (GPSs) is significantly increased. Currently, the main cause of error in plain GPS receivers is imperfect compensation of the ionospheric error. Tests performed in New Zealand show that even a simple code range differential GPS (DGPS)(More)