Sciweavers

310 search results - page 1 / 62
» Scenario-based Validation of Embedded Systems
Sort
View
ICSEA
2009
IEEE
13 years 3 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
SERP
2003
13 years 6 months ago
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
Gerardo Padilla, Cuauhtémoc Lemus Olalde, M...
IFIP
2010
Springer
13 years 5 days ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
ARCS
2012
Springer
12 years 1 months ago
Fast Scenario-Based Design Space Exploration using Feature Selection
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
Peter van Stralen, Andy D. Pimentel
SEUS
2009
IEEE
14 years 1 days ago
An Experimental Framework for the Analysis and Validation of Software Clocks
Andrea Bondavalli, Francesco Brancati, Andrea Cecc...