Learn More
In this paper a model-based design approach currently developed is introduced to optimize the development process of automotive software. The approach plays special emphasis on a quality-oriented construction of embedded software to shorten the development life cycle and the development costs at the same time. “Quality-oriented” in this context means, that(More)
This paper deals with the application of a flatness-based open-loop tracking controller in combination with a passivity-based closed-loop controller to the infinite-dimensional model of a crane with heavy chains and payload. It turns out that the position of the load serves as a flat output. This allows us to perform the trajectory planning task in a(More)
Within Requirements Engineering it is a difficult task to systematically increase the quality of individual requirements and the whole specification. In this position paper we present our current research effort on a requirement engineering process for automotive software, which is an intermediate result of the mobilSoft project. In order to improve the(More)
The UEMS Otorhinolaryngology-Head and Neck Surgery section is a dedicated body formed to promote the standardisation and harmonisation of European Otorhinolaryngology (ORL). The European Examination Board of Otorhinolaryngology and Head and Neck Surgery was created to establish a supranational final exam and accreditation for ORL Surgeons. It is open to(More)
In this paper, we will introduce a simple but formal service description language (ForSeL) together with a methodology for its application in software engineering. ForSeL helps to bridge the gap between informal functional requirements and formal models in the subsequent design phase. Though its semantics is formally defined and therefore well suited for(More)
  • 1