by Axel Legay, Jean Quilbeuf, Flavio Oquendo

Verifying the correctness of systems-of-systems (SoS) is a key challenge, largely because SoSs are evolutionarily developed by combining autonomous systems to fulfill a mission that could not be performed by one of the constituent systems alone. In the trade-off of correctness vs. scalability, model checking does not scale up to address the trustworthiness of SoSs, owing to the state explosion problem. A recent technique, however, has overcome this shortcoming: ‘Statistical Model Checking’ is based on sampling traces of the system-of-interest until adequate statistical evidence has been established.

A Bottom-up Strategy
for Clustering Complex Datasets with Application to Language and Script Discrimination

by Alessia Amelio

A bottom-up clustering algorithm can be used to extend a state-of-the-art method to partition datasets in groups of complex data. The algorithm has been applied to discriminate between documents in different languages and scripts.

by Fons Kuijk, Rufael Mekuria and Pablo Cesar

REVERIE is a general-purpose tele-immersion system that enables individuals to interact in a shared 3D synthesized environment. It is a meeting place for virtual characters representing real participants and receptive virtual agents (autonomous humanoids). Participants observe this virtual reality from the dynamically changing point of view of their virtual embodiment (an avatar or a replicant) and 3D spatial audio completes the impression of being immersed.

by Pierfrancesco Bellini, Paolo Nesi and Imad Zaza

Although modern secure railway transportation management systems are employing more ‘intelligent’, highly computerized technology, they are still strictly dependent on the site-specific configuration of track layout, which follows different rules for different nations. An expert system model, which independently formalizes a railway network, focusing on railway terminals (stations) and including topological and functional aspects of track elements, enables verification and validation.

An interlocking system is an arrangement of signalling devices at track crossings or junctions that displays a stop signal unless the route is clear and safe, thus preventing conflicting movements of trains. The control table - a matrix composed of a row for each route and a column for each relevant track side device for that route [1] - rules the interlocking decisions process.

Next issue: January 2019
Special theme:
Transparency in Algorithmic Decision Making
Call for the next issue
Image ERCIM News 103 epub
This issue in ePub format

Get the latest issue to your desktop
RSS Feed