123 search results - page 8 / 25 » Multi-level Modeling for Industrial Automation Systems |
ICINCO
2004
13 years 8 months ago
2004
: The automation manufacturing business has reached its turning point and manufacturers are forced to create new business areas. Their expertise about field devices will be the sou...
ACE
2004
13 years 8 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
ACL2
2006
ACM
13 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
IPPS
2006
IEEE
14 years 22 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...