1784 search results - page 112 / 357 » Formal Models for Embedded System Design |
ASPDAC
2005
ACM
14 years 12 months ago
2005
ACM
— The customization of architectures in designing the security processor-based systems typically involves timeconsuming simulation and sophisticated analysis in the exploration o...
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 3 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
ER
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
JSW
2007
14 years 9 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
CODES
2002
IEEE
15 years 2 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...