230
click to vote
DFG
15 years 11 months ago
2004 Springer 
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
213
click to vote
DFG
15 years 11 months ago
2004 Springer 
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
203
click to vote
DFG
16 years 1 months ago
2004 Springer 
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
203
click to vote
DFG
16 years 1 months ago
2004 Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
|
Operating System