Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
26.08.2008 | Marcel Kyas? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol? | A holistic approach to modelling embedded systems is advocated: Many aspects of a system should be analysed in isolation to keep the task manageable, but they often influence each other during integration in a way that the desired system becomes unrealisable. A tool-supported approach that aims at integrated models of different concerns based on formal methods is suggested to solve this problem. This approach uses Creol, which is a language designed for object-oriented modelling of distributed systems. We report on ongoing work on the design and the implementation of tools that support modelling, validation, and verification. We focus on sensor networks, which are distributed system that consists of many embedded devices with tight constraints on computational power, energy availability, and timeliness. The described tools are a compiler that performs static checks and optimisations, an interpreter that defines a formal semantics, and a prototypical LTL model checker. This supports seamless development with formal methods.? |
23.09.2008 | Marcel Kyas? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | Design and Implementation of creoltools: Compilation, Simulation, and Analysis? | ? |
30.09.2008 | Martin Steffen? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | (Multiple) inheritance, behavioral subtyping, and separation logic? | ? |
14.10.2008 | Cristian Prisacariu? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | Runtime Monitoring of Electronic Contracts? | 15min + questions? |
14.10.2008 | Martin Steffen? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | (Multiple) inheritance, behavioral subtyping, and separation logic (part 2)? | ? |
21.10.2008 | --? | ? | ? | ? |
04.11.2008 | Arild Torjusen? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | "A Specification-Driven Interpreter for Testing Asynchronous Creol Components"? | ? |
11.11.2008 | Daniela Lepri? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | "Towards Model Checking Bounded Response in Real-Time Maude"? | ? |
18.11.2008 | Cristian Prisacariu? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | "Extending Kleene Algebra with Synchrony: Completeness and Decidability"? | ? |
05.12.2008 | Mai Tran? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | "Checking the conformability in CORBA component model specifications"? | ? |
09.12.2008 | Fatemeh Kazemeyni? | LNS seminar-rommet i 澳门葡京手机版app下载sparken? | "Host-based worm detection in P2P networks"? | ? |
16.12.2008 | Cristian Prisacariu? | LNS seminar-rommet i 澳门葡京手机版app下载sparken ? | "A Logic for Reasoning and Run-time Monitoring of Electronic Contracts"? | 1 hour talk about the state of the art of our logic for contracts in the COSoDIS Nordunet3 project? |
22.12.2008 | -? | PMA lunch room? | movie documentary "N is a Number - A portrait of Paul Erdos"? | ? |
Undervisningsplan
Published Aug. 25, 2008 3:40 PM
- Last modified July 16, 2009 12:09 PM