285 search results - page 26 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
80
Voted
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
MOMPES
2006
IEEE
15 years 3 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
100
click to vote
WORDS
2003
IEEE
15 years 2 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
79
Voted
ECRTS
1999
IEEE
15 years 1 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...