1681 search results - page 1 / 337 » Formal Design of Distributed Control Systems with Lustre |
SAFECOMP
1999
Springer
13 years 11 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Parallel NFS (pNFS) is an emergent open standard for parallelizing data transfer over a variety of I/O protocols. Prototypes of pNFS are actively being developed by industry and a...
OPODIS
2003
13 years 8 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
SAC
2010
ACM
13 years 9 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
ISOLA
2004
Springer
14 years 24 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...