Sciweavers

Share
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
10 years 19 days ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...
DSD
2007
IEEE
217views Hardware» more  DSD 2007»
10 years 5 months ago
Component-Based Hardware/Software Co-Simulation
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
Ping Hang Cheung, Kecheng Hao, Fei Xie
COMPSAC
2009
IEEE
10 years 6 months ago
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
Nicholas T. Pilkington, Juncao Li, Fei Xie
ICSE
2009
IEEE-ACM
10 years 6 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Séverine Sentilles, Anders Pettersson, Dag ...
books