The main objective of the LIME project was to simplify the adoption of new design and validation methods for distributed embedded software components in practice. This is in line with the Artemis SRA “Design Methods and Tools” that calls for development of methods and tools that are integrable into core work-flows and that address key design problems of embedded systems.
Partners: Åbo Akademi, Aalto (TKK), Space Systems Finland, Conformiq
Johan Lilius, Professor
+358 (0)2 215 4099
Ivan Porres, Tk.D., Professor
+358 (0)2 215 3463