Oct 102016

The Open Workshop on Synchronous Languages and Systems

SYNCHRON, the International Open Workshop on Synchronous Programming, is devoted to all aspects of synchronous programming: languages, compiling techniques, formal methods, programming environments, execution platforms, semantics issues, code generation. This traditional workshop has become the annual rendez-vous hotpot of the synchronous community and a ’must’ event for anyone interested in keeping up with the latest developments, in front and behind the scenes, in academic and industrial synchronous research. The workshop is renowned for its informal and open character.

2018 Edition Fréjus, France
2017 Edition Rennes, France
2016 Edition  Bamberg, Germany
2015 Edition
Kiel, Germany
2014 Edition Aussois, France
2013 Edition back to Dagstuhl for the 20th anniversary!
2012 Edition Le Croisic, France
2011 Edition Paris, France
2010 Edition Fréjus, France
2009 Edition Dagstuhl, Germany
2008 Edition Aussois, France
2007 Edition Bamberg, Germany
2006 Edition L’alpe d’Huez, France
2005 Edition Qwara, Malta
2004 Edition Dagstuhl, Germany
2003 Edition Luminy, France
2002 Edition La Londe les Maures, France
2001 Edition Dagstuhl, Germany
2000 Edition St Nazaire, France
1999 Edition Hyères, France
1998 Edition Gandía, Spain
1997 Edition Roscoff, France
1996 Edition Dagstuhl, Germany
1995 Edition Luminy, France
1994 Edition Dagstuhl, Germany

Workshop: The Future of Nanosatellites

 Events, Presentations, Research  Comments Off on Workshop: The Future of Nanosatellites
Feb 022016



Wednesday March 23, 9h30.
Resource-constrained real-time embedded software and systems
Florence Maraninchi


Embedded software and systems are already everywhere (in nuclear power plants, smart grids, pacemakers, cars, trains and subways, planes, rockets and satellites, etc.). Most of these contexts are said to be safety-critical: a failure can cause human injuries or death, or severe environment damage. Others might be “only” business-critical: a failure costs a lot of money. To guarantee a very low probability of failure, the most critical systems are based on costly hardware redundancy, dedicated software development methods, and costly validation methods.

Nanosatellites are not safety-critical, and probably not as business-critical as big commercial satellites. Moreover, they are highly resource-constrained (energy consumption, memory, computing power). These observations could lead to choose cheap solutions. However, given the development time and the cost of the launch procedure, failures should be avoided.

We advocate the idea that the development of embedded software and systems for nanosatellites should try and benefit from the accumulated experience on the development of more critical systems; a key problem is to understand which constraints can be relaxed, and which level of quality can be obtained at a reasonable cost.