122 search results - page 14 / 25 » A Formal Framework for Design Component Contracts |
EUROMICRO
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...