Sciweavers

44 search results - page 1 / 9
» Applying Use Cases for the Requirements Validation of Compon...
Sort
View
ISORC
1999
IEEE
13 years 8 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
IFIP
2000
Springer
13 years 8 months ago
Test Case Design for the Validation of Component-Based Embedded Systems
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
W. Fleisch
ASWEC
2007
IEEE
13 years 10 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
ISORC
2000
IEEE
13 years 8 months ago
Component Customization for Object-Oriented Distributed Real-Time Software Development
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
Stephen S. Yau, Fariaz Karim
ENTCS
2006
231views more  ENTCS 2006»
13 years 4 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson