123 search results - page 19 / 25 » Multi-level Modeling for Industrial Automation Systems |
ECBS
2007
IEEE
13 years 10 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
ISF
2006
13 years 6 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
SIMUTOOLS
2008
13 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
DATE
2006
IEEE
14 years 24 days ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...