| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 26.08.2008 | Marcel Kyas? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录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 亚博娱乐官网_亚博pt手机客户端登录sparken? | Design and Implementation of creoltools: Compilation, Simulation, and Analysis? | ? |
| 30.09.2008 | Martin Steffen? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | (Multiple) inheritance, behavioral subtyping, and separation logic? | ? |
| 14.10.2008 | Cristian Prisacariu? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | Runtime Monitoring of Electronic Contracts? | 15min + questions? |
| 14.10.2008 | Martin Steffen? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | (Multiple) inheritance, behavioral subtyping, and separation logic (part 2)? | ? |
| 21.10.2008 | --? | ? | ? | ? |
| 04.11.2008 | Arild Torjusen? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | "A Specification-Driven Interpreter for Testing Asynchronous Creol Components"? | ? |
| 11.11.2008 | Daniela Lepri? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | "Towards Model Checking Bounded Response in Real-Time Maude"? | ? |
| 18.11.2008 | Cristian Prisacariu? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | "Extending Kleene Algebra with Synchrony: Completeness and Decidability"? | ? |
| 05.12.2008 | Mai Tran? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | "Checking the conformability in CORBA component model specifications"? | ? |
| 09.12.2008 | Fatemeh Kazemeyni? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录sparken? | "Host-based worm detection in P2P networks"? | ? |
| 16.12.2008 | Cristian Prisacariu? | LNS seminar-rommet i 亚博娱乐官网_亚博pt手机客户端登录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