Rapid technological change requires that system designers explore potential design spaces widely before committing to a local design space in which to evolve a problem solution. W...
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
The design, development, and deployment of interactive systems can substantively impact individuals, society, and the natural environment, now and potentially well into the future...
Lisa P. Nathan, Batya Friedman, Predrag V. Klasnja...