10159 search results - page 331 / 2032 » System Design Validation Using Formal Models |
140
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
374
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
131
click to vote
FDBS
2001
15 years 5 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
122
click to vote
IJMMS
2006
15 years 3 months ago
2006
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
144
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...