10159 search results - page 379 / 2032 » System Design Validation Using Formal Models |
108
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents the design of a high accuracy outdoor navigation system based on standard dead reckoning sensors and laser range and bearing information. The data validation p...
108
click to vote
AEI
2010
15 years 4 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
146
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
153
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
143
Voted
DAGSTUHL
2009
15 years 5 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...