ASAP: Advanced Specialisation and Analysis of Pervasive Systems
Software development for pervasive computing platforms has been identified, by the European Comission, as an area needing drastic improvements in terms of optimising development cost, reliability, and time to market. This project aims at the application of specialisation techniques (also known as partial evaluation) in order to provide general optimisation tools for the development of intelligent, user-oriented applications for pervasive systems.
Several tools have been constructed within this framework. Resource awareness plays a central role in each of these automated, cross-platform, program-transformation tools.
DFN: Modelling and Verification of Embedded Systems
The design of embedded systems continuously faces new challenges, as the market demands more functionality from them. Many issues related to this ever increasing complexity are usually dealt with at the modelling stage, far before its actual implementation. In this work, I have devised a formal representation of embedded systems that actually tackles the interaction between control- and data-flows. The representation, called Dual Flow Nets, is based upon Petri Nets and precisely defines the underlying semantics of both hardware and software, in an embedded system.
This work also comprised a formal verification framework to allow the validation of a model prior to its actual implementation. The verification methodology, built around the SMV model checker, is capable of dealing with most of the specifications that exist in real-life, as well as recognising two type of temporal logics.
PICIBA: Access Control for Intelligent Buildings
This work relates to the design and implementation of an authentication system based on magnetic stripe cards for access management of an intelligent building. The control module is a programmable interface designed either to be incorporated into a complex computational structure, e.g. a Computer Integrated Building (CIB), or to operate in standalone mode. It allows for a modular management of a large number of card readers placed at various checkpoints of a CIB. The developed architecture permits as well that several of these control modules be serially interconnected through a normalized multipoint network.
