98 search results - page 5 / 20 » Testing real-time embedded software using UPPAAL-TRON: an in... |
WCRE
2006
IEEE
15 years 3 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
85
Voted
CASE
2011
13 years 9 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...