Sciweavers

15401 search results - page 336 / 3081
» Software in Automotive Systems
Sort
View
INTERSENSE
2006
ACM
16 years 24 days ago
A software framework for integrated sensor network applications
— Sensor networks have received wide attention in recent years for their revolutionary impact in numerous fields. To harness their full potential, researchers are beginning to b...
Raju Pandey, Joel Koshy
EMSOFT
2005
Springer
16 years 8 days ago
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
Kim Guldstrand Larsen, Marius Mikucionis, Brian Ni...
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
15 years 11 months ago
Speeding up power estimation of embedded software
Power is increasingly becoming a design constraint for embedded systems. A processor is responsible for energy consumption on account of the software component of the embedded sys...
Akshaye Sama, J. F. M. Theeuwen, M. Balakrishnan
FMOODS
2008
15 years 8 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
WICSA
2008
15 years 8 months ago
Towards Software Architecture Physiology: Identifying Vital Components
Several architecture analysis methods are proposed in the literature for evaluating both the structure and the behavior of architectures. A parallel between humans and software sy...
Ilham Alloui, Sorana Cîmpan, Hervé Ve...