Email : apr"at"cs.aau.dk
PHONE : +45 9940 8887 (Direct)
FAX : +45 9940 0510
I spend quite some time investigating industrial cases in order to learn more about the issues. In this context, I am very interested in understanding how formal development methods may support. hard real-time applications and component based technologies
Topics that spring from this interest are contracts for component based systems and contracts in service based systems.
I have also worked on the foundations for description of real time properties by means of Duration Calculus - a class of interval logics. This theory has been tested successfully on a variety of case studies.
Hard real-time systems are often found in complex control systems. Thus I take an interest in Hybrid Systems, which combine non-trivial discrete changes with continuous evolutions.
I am active in the ARTIST2 Network of Excellence within the cluster on Real-Time Components and in the national projects MoDES (Model Driven Development of Intelligent Embedded Systems) and DaNES (Danish Network of Intelligent Embedded Systems).I am also in the Nordic project on Contracs-Oriented Software Development for the Internet (COSoDIS). And I take part in the development of Refinement of Component and Object Systems (rCOS).