• Publications
  • Influence
Specification and development of interactive systems: focus on streams, interfaces, and refinement
TLDR
Introduction 2. A Guided Tour 3. Basics 4. Streams 5. Specifications 6. Examples 7. Properties of Specifications 8. Equational Specifications of State Transitions 9. Access Control System 10. Tables and Diagrams 11. Abracadabra Protocol 12. A/G Specifications 13. Memory with Locking 14. Refinement 15. Behavioral Refinement 16. Interface Refinement. Expand
  • 464
  • 36
Challenges in automotive software engineering
  • M. Broy
  • Engineering, Computer Science
  • ICSE '06
  • 28 May 2006
The amount of software in cars grows exponentially. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions. The rapid increase ofExpand
  • 352
  • 29
  • PDF
Engineering Automotive Software
TLDR
This paper pinpoints the idiosyncrasies of the domain, characterizes the essentials of automotive software engineering, and discusses the challenges of automotivesoftware engineering. Expand
  • 294
  • 21
  • PDF
Specification and Development of Interactive Systems
TLDR
The first € price and the £ and $ price are net prices, subject to local VAT. Expand
  • 165
  • 15
  • PDF
Software Engineering for Automotive Systems: A Roadmap
TLDR
We present research challenges in the domain of automotive software engineering in terms of requirements engineering and management, architecture development, and testing. Expand
  • 331
  • 12
Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology
Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult andExpand
  • 96
  • 12
  • PDF
Cyber-Physical Systems: Imminent Challenges
TLDR
A German project is presented which was initiated in order to analyse the potential and risks associated with Cyber-Physical Systems. Expand
  • 107
  • 10
  • PDF
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments
TLDR
We show that from a scientific point of view, all ingredients are at our hands to do a substantial step into an integrated process and tool world. Expand
  • 154
  • 9
  • PDF
The Design of Distributed Systems - An Introduction to FOCUS-revised version
TLDR
Focus is a framework for the systematic formal speci cation and development of distributed interactive systems and their components Focus provides models formalisms and veri cation calculi. Expand
  • 170
  • 8
  • PDF