Gert Bikker

Learn More
In embedded software engineering, timing requirements are among the foremost non-functional requirements that have to be fulfilled. Therefore, there are specialized tools for analyzing and validating the timing behavior in embedded software. On the other hand, Model Driven Development (MDD) is considered as the next paradigm shift to address the increasing(More)
Embedded software development is moving towards the model-based paradigm to support the complexity of today's embedded systems, as they become more and more important and omnipresent in our daily lives. In this context, the Unified Modeling Language (UML) is a widely used standard. Code generators can be executed to generate source code from UML models.(More)
The increasing complexity of realtime embedded software systems necessitates them to support a variety of functions. Therefore, a practice is to split the overall system into different sub-systems and use various (modeling) tools for describing different parts of the system. On the other hand, though guaranteeing realtime properties forms an integral part(More)
Embedded software engineering very often involves development of complex, mission critical software; wherein it is imperative that the developed software fulfills its requirements to achieve high quality. In such cases, there are several advantages of using specialized Requirements Management (RM) tools for managing the requirements. Critical timing(More)
Model Driven Development (MDD) is deemed as a key to address the increasing complexity of software systems. It is imperative that the developed software fulfills the end-user's requirements. This implies that a collaboration between the Requirements Management (RM) tools and the modeling tools, enabling complete traceability and interfacing among these(More)
Model-based approaches to develop software for embedded systems are becoming increasingly important in the last ten years. In this context, it is desirable to carry out debugging at the model level in conjunction with the model-based development of embedded software. This paper presents such a model-based debugging approach which can be used to visualize(More)
  • 1