SC Harvester Papers Database Interface

Using UPPAAL to model and verify a clock synchronization protocol for the controller area network

G. Rodríguez-Navas, J. Proenza, H. Hansson. In: 2005 IEEE Conference on Emerging Technologies and Factory Automation. 2005

Abstract: A reported liability of the controller area network protocol is that it does not provide a clock synchronization service. Therefore, whenever a CAN-based distributed embedded system requires its nodes to have a common time base, clock synchronization has to be implemented by means of an external mechanism. In a previous work, we proposed a fault-tolerant and high-precision clock synchronization pr...

Automotive communications-past, current and future

Thomas Nolte, H. Hansson, L. L. Bello. In: 2005 IEEE Conference on Emerging Technologies and Factory Automation. 2005

Case studies on analyzing software architectures for usability

Eelke Folmer, J. Bosch. In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications. 2005

Component-based vs. model-based development: a comparison in the context of vehicular embedded systems

Martin Törngren, De-Jiu Chen, I. Crnkovic. In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications. 2005

Process patterns for software systems in-house integration and merge -experiences from industry

R. Land, I. Crnkovic, S. Larsson. In: 31st EUROMICRO Conference on Software Engineering and Advanced Applications. 2005

Do viewpoints lead to better conceptual models? An exploratory case study

S. Easterbrook, E. Yu, Jorge Aranda, Yuntian Fan, J. Horkoff et al. In: 13th IEEE International Conference on Requirements Engineering (RE'05). 2005

Non-functional requirements in industry - three case studies adopting an experience-based NFR method

J. Dörr, D. Kerkow, T. Koenig, Thomas Olsson, Takeshi Suzuki. In: 13th IEEE International Conference on Requirements Engineering (RE'05). 2005

Hot film air mass meter with frequency modulated signal acquisition

A. Franke, B. Opitz, C. Raudzis, U. Wagner. 2005

Real-time server-based communication with CAN

Thomas Nolte, Mikael Nolin, H. Hansson. In: IEEE Transactions on Industrial Informatics. 2005

Editorial Special Section on Factory Communication Systems

C. Norström, H. Hansson. 2005

EXTREMELY LOW MASS SPHERICAL ROVERS FOR EXTREME ENVIRONMENTS AND PLANETARY EXPLORATION ENABLED WITH MEMS

F. Bruhn, K. Pauly, Viktor Kaznov. In: . 2005

Guidelines for a graduate curriculum on embedded software and systems

P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse et al. In: ACM Trans. Embed. Comput. Syst.. 2005

A taxonomy of variability realization techniques

Mikael Svahnberg, J. V. Gurp, J. Bosch. In: Software: Practice and Experience. 2005

Abstract: Development of software product families relies heavily on the use of variability to manage the differences between products by delaying design decisions to later stages of the development and usage of the constructed software systems. Implementation of variability is not a trivial task, and is governed by a number of factors. In this paper, we describe the factors that are relevant in determining...

A taxonomy of variability realization techniques

Mikael Svahnberg, J. V. Gurp, J. Bosch. In: Software: Practice and Experience. 2005

Applying static WCET analysis to automotive communication software

Susanna Byhlin, Andreas Ermedahl, J. Gustafsson, B. Lisper. In: 17th Euromicro Conference on Real-Time Systems (ECRTS'05). 2005