Sciweavers

22 search results - page 1 / 5
» AADL Simulation and Performance Analysis in SystemC
Sort
View
ICECCS
2009
IEEE
115views Hardware» more  ICECCS 2009»
13 years 11 months ago
AADL Simulation and Performance Analysis in SystemC
Roberto Varona-Gomez, Eugenio Villar
SIGADA
2007
Springer
13 years 11 months ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 1 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ICECCS
2010
IEEE
219views Hardware» more  ICECCS 2010»
13 years 5 months ago
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
Mickaël Kerboeuf, Alain Plantec, Frank Singho...
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
13 years 11 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli