754 search results - page 36 / 151 » Requirements for Automotive System Engineering Tools |
ARCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper we present a partial bitstreams ultra-fast downloading process through a standard Ethernet network. These Virtex-based and partially reconfigurable systems...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...