SC Harvester Papers Database Interface

Experimental Model Synthesis for Timing Analysis of an Industrial Robot

Joel Huselius, J. Andersson, H. Hansson, S. Punnekkat. In: . 2005

Component-Based Development of Safety-Critical Vehicular Systems State of the Art, State of the Practice and Research Challenges

I. Crnkovic, Dejiu Chen, J. Fredriksson, H. Hansson. In: . 2005

Presenting: An Automated Process for Model Synthesis

Joel Huselius, H. Hansson, S. Punnekkat. In: . 2005

Embedded Systems Handbook - CONTENTS

R. Zurawski, H. Hansson, Mikael Nolin, T. Nolte, L. Lavagno et al. In: . 2005

Real-Time in Embedded Systems

Mikael Nolin, H. Hansson, Thomas Nolte. In: . 2005

Wireless Automotive Communications

Thomas Nolte, H. Hansson. 2005

A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications

J. Axelsson, Joakim Fröberg, H. Hansson, C. Norström, Kristian Sandström et al. In: . 2005

Requirements Engineering für Communities of Practice: Aufbau der ReqMan Community

Ines Grützner, P. Waterson, Carsten Vollmers, S. Trapp, Thomas Olsson. In: . 2005

Elicitation and Documentation of Non-Functional Requirements for Sociotechnical Systems

D. Kerkow, J. Dörr, B. Paech, Thomas Olsson, T. Koenig. In: . 2005

Efficient System-Level Testing of Embedded Real-Time Software

Daniel Sundmark, Anders Pettersson, Sigrid Eldh, M. Ekman, Henrik Thane et al. 2005

Two Formal Semantics for PLEX

Johan P. Erikson, B. Lisper. 2005

Experiences from Industrial WCET Analysis Case Studies

Andreas Ermedahl, J. Gustafsson, B. Lisper. In: . 2005

Symmetric Cardinality Constraint with Costs

Waldemar Kocjan, P. Kreuger, B. Lisper. In: . 2005

Maintaining Consistency of Dynamic Cardinality Constraints with Costs

Waldemar Kocjan, P. Kreuger, B. Lisper. 2005

Abstract: This paper introduce a novel method for maintaining consistency of cardinality constraints in context of dynamic constraint satisfaction. The presented method adopt sensitivity analysis for feasible and minimum cost flows underlying all cardinality constraints. Moreover, we extend a dynamic all-pairs shortest path algorithm to support weight changes, insertion and deletion of multiple edges and sh...

Improving Modeling with UML by Stereotype-based Language Customization

M. Staron. In: . 2005

Abstract: Graphical modeling is becoming an increasingly important part of software engineering as it provides means of increasing productivity by raising the level of abstraction in software devel-opment. One of the most widely adopted modeling notations is the Unified Modeling Language (UML) which has gained popularity due to its generality and broad applicability. Despite its advantages, this general pur...