|
Past
Highlights
2007-2008 Highlights (TBC)
2006-2007 Highlights (TBC)
2005-2006 Highlights (TBC)
2004-2005 Highlights
|
November 2004
|
Safety Critical
Interactive Systems
Highlights
We have been
working for about 15 years on notations and tools for the
specification, prototyping, validation and implementation of
Safety Critical Interactive Systems. We designed a notation
called
Interactive Cooperative Objects and applied it to
several application domains including Air Traffic Control,
Military and Civil aircraft Cockpits as well as several
real-time command and control systems. The case tool
supporting the ICO notation called
PetShop (for
PETri net workSHOP) is now available for download. A
tutorial is currently being designed and is available since
May 2005.
|
|
August 2005
|
Summer School on
Usability-Driven Software Architecture
Tampere University of
Technology, Tampere, Finland, August 22-24, 2005. More
information available
here.
|
|
December 2004
|
EU
COST and
ESF funding
As for December 1st
the EU is funding international cooperation on Usability aspects
at LIIHS through the COST
action 294 (MAUSE)
starting January 2005 for 4 years. |
|
My Coordinates
43°33'43.43"N & 1°28'4.44"
|
February 14th 2008