Thanoshttp://thanos.nl
nlFormaliSE 2016http://thanos.nl/content/formalise-2016
<div class="field field-name-body field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even" property="content:encoded"><p>Next month (15 May to be precise) I will be attending a workshop in Austin, Texas. It is a workshop I organise myself together with my colleague and (by now) friend Stefania Gnesi. The workshop is organised under auspices of Formal Methods Europe. It is sponsored by my employer West IT, ISTI-CNR (the institution Stefania works for), and also by myself i.e. my company Thanos. The name of the workshop is FormaliSE: FME Workshop on Formal Methods in Software Engineering. It is co-located with the mainstream international conference on Software Engineering ICSE.</p>
<p>So what is the workshop about? Well, let me tell you. The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured. For large complex projects, many approaches have proven inadequate to assure the correct behaviour of the delivered software, despite the efforts of the (often very skilled) software engineers involved. The lack of formalization in key places makes software engineering overly sensitive to the weaknesses that are inevitable in the complex activities behind software creation. It is an increasingly complex task to develop large software systems because the systems are huge, with very complex behaviour, and many algorithms employed today are "pushing the limits" of what people can comprehend. This is where formal methods (FMs) have a huge opportunity. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities.</p>
<p>This will be the 4th edition of the workshop. Previous workshops were held in San Francisco, Hyderabad (India) and Florence. Organising it has been so much fun for me personally and rewarding in terms of outcome!</p>
<p>We have an attractive programme with two keynote speakers: Pamela Zave from AT&amp;T Research, USA, and Don Batory from the University of Texas at Austin. Furthermore presentations of high quality papers, and a panel discussion on the workshop's topics. For details, see <a href="http://www.formalise.org" traget="_new">www.formalise.org</a></p>
</div></div></div>Sat, 23 Apr 2016 21:50:38 +0000Nico Plat12 at http://thanos.nlhttp://thanos.nl/content/formalise-2016#commentsTEMPO: Enabling Decentralised Road Traffic Managementhttp://thanos.nl/node/7
<div class="field field-name-body field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even" property="content:encoded"><p><b>Introduction</b><br />
TEMPO (TMS Experiment with Mobility in the Physical world using Overture) is a project that will develop technology to assist a move to decentralised and distributed control for Traffic Management Systems (TMSs). TEMPO will create a basis for new approaches to distributed traffic management, contributing to smarter, greener and more integrated transport and facilitating the introduction of cooperative vehicles without sacrificing vehicle safety or the robustness of the traffic network. Improvements in traffic management will have direct impacts on commerce and on the environment.</p>
<p><b>Vision and Innovation</b><br />
TEMPO envisions a Europe in which traffic management is decentralised, enabling reliable journeys door-to-door and reducing economic loss and pollution due to congestion. Decentralised traffic management will also enable future traffic systems where a TMS can communicate with in-car devices. In-car devices, if widely adopted, would produce a population of drivers capable of making well-informed decisions about environmental impact and transport costs.</p>
<p>TEMPO will enhance tools and methods for designing distributed TMSs, allowing TMS providers and integrators to demonstrate resilience and safety properties of distributed TMSs before costly implementations. TEMPO aims to influence the future of traffic data standards such as DATEX II and DVM-Exchange by making recommendations to accommodate decentralisation and distribution of control. TEMPO will develop a TMS demonstrator and create the basis of a new ecosystem and value chain targeting more sustainable road transport support.</p>
<p><b>Background</b><br />
Many European countries, such as The Netherlands, have dense road networks and significant traffic problems. Crowded roads have a negative effect on both the economy (the time and cost of transporting goods and workers are increased) and the environment (fuel is burned unnecessarily and air particle pollution is generated when traffic jams arise). The flow of traffic on Europe’s roads is managed by a series of Traffic Management Systems (TMSs) that are owned and controlled by various local and national authorities. A TMS consists of a collection of distributed devices installed along the roadside, either sensors that collect traffic data (e.g. cameras, radar detection systems, induction loops), or actuators that give instructions to road users.</p>
<p>Current TMS architectures are heavily centralised around regional control centres and are not scalable. Centralisation also hinders efficient management of traffic problems that straddle boundaries between authorities, because TMSs cannot communicate between regions. While cooperation between various road authorities has improved recently, technical barriers for decentralised and distributed TMSs are still in place. TEMPO aims to demonstrate the feasibility of a TMS with a decentralised and distributed control architecture and of future traffic systems where a TMS can communicate with in-car devices.</p>
<p>A TMS is an example of a Cyber-Physical System (CPS). A CPS is composed of diverse components (software, hardware and communications technology) that must collaborate to achieve a global goal. Each TMS must interact with neighbouring TMSs that will often have different owners, and vehicles will move around, communicating with a different TMS depending on their location. These factors mean that new, innovative approaches to engineering such cyber-physical systems are required.</p>
<p><b>Approach</b><br />
TEMPO will use the Overture technology as a basis for its work. Overture is a platform for modelling and analysing systems. Models can demonstrate the correctness of designs prior to costly implementation. TEMPO will use Overture to model existing traffic management networks, then demonstrate the feasibility of decentralised designs that communicate with in-car devices.</p>
<p>To achieve these results, the Overture technology needs to be extended to support modelling of components that can move, such as vehicles. The movement components will change the topology of the system as they travel. TEMPO will extend Overture with 2D and 3D visualisation libraries that will enable modellers to assign a physical appearance and location to objects. TEMPO will also investigate dynamic reconfiguration of networks of vehicles and adaptive control strategies. These extensions will enable communication with stakeholders who have a less technical background and be applicable to other domains such as agriculture.</p>
<p>The TEMPO project’s objectives are:</p>
<ul><li>To produce well-founded models that can be used to demonstrate the value of a distributed CPS controlled TMS solution to the various decision makers enabling new services;</li>
<li>To increase the maturity of the existing Overture platform with localisation and visualisation libraries enabling better understanding of the models; and</li>
<li>To develop a TMS demonstrator in order to create the basis for forming an eco-system with a value chain targeting more sustainable road transport support.</li>
</ul><p><b>Duration</b><br />
TEMPO runs from 1 October 2015 – 1 October 2016.</p>
<p><b>Partners and Funding</b><br />
TEMPO is coordinated by West IT Solutions (<a href="http://www.west.nl/">http://www.west.nl/</a>), whose contribution is led by Dr. Nico Plat. Their consortium partner is Aarhus University (<a href="http://eng.au.dk/">http://eng.au.dk/</a>), whose contribution is led by Prof.dr. Peter Gorm Larsen. The TEMPO project is funded by CPSE Labs (<a href="http://www.cpse-labs.eu/">http://www.cpse-labs.eu/</a>), a network of Design Centres across Europe. TEMPO is supported by the CPSE Labs UK Design Centre at Newcastle University (<a href="http://research.ncl.ac.uk/cplab/">http://research.ncl.ac.uk/cplab/</a>). CPSE Labs provides funding through open calls for innovative, industry-driven projects such as TEMPO, along with expertise and platforms for engineering cyber-physical systems. Further calls will open in Q4 2015 and Q2 2016.</p>
<p><b>Contact and More Information</b><br />
Website: <a href="http://www.tempoproject.eu/">http://www.tempoproject.eu/</a></p>
<p>Twitter: @ProjectTempo</p>
<p>General enquiries: <a href="mailto:info@tempoproject.eu">info@tempoproject.eu</a></p>
<p>Traffic management enquiries: <a href="mailto:nico@west.nl">nico@west.nl</a></p>
<p>Overture technology enquiries: <a href="mailto:pgl@eng.au.dk">pgl@eng.au.dk</a></p>
<p>If you want to be informed, participate, connect or discuss, please contact us!</p>
</div></div></div><div class="field field-name-field-beeld field-type-image field-label-above"><div class="field-label">Beeld:&nbsp;</div><div class="field-items"><div class="field-item even"><img typeof="foaf:Image" src="http://thanos.nl/sites/default/files/AAEAAQAAAAAAAAWnAAAAJDIwNWVjMTcyLTQ3ZjgtNDE0OC05MTE5LTRjYmRmMTVlOTZjMQ.jpg" width="698" height="400" alt="" /></div></div></div>Mon, 08 Feb 2016 16:45:54 +0000Nico Plat7 at http://thanos.nlhttp://thanos.nl/node/7#comments