Inria
Inria.fr
Inria Channel
Software publishing, embedded system
Software
Some examples of Inria start-ups and technologies to keep a close eye on in the field of software publishing and embedded systems.
SynDEx
Software to assist in optimising the design and installation of embedded real-time critical distributed systems
SynDEx has applications on the following markets: avionics, space, automotive engineering, railways and robotics. The software covers the majority of the development cycle, from specification to the embedded code, which makes it an unparalleled tool. SynDEx makes it possible to go beyond simulation; the models can be used for both simulation and implementation. The software applies the AAA methodology. It allows real-time performance measurements, generation of distributed real-time executives, static distribution and scheduling, interfacing with business-oriented languages, publishing of algorithm and architecture graphs, visualisation of predicted real-time diagrams. SynDEx is robust and runs on 3 platforms: Mac, Windows and Linux. The software has no real equivalent at present.
Polychrony
A pivotal model for architecture exploration and co-modelling for the development of real-time critical embedded systems, process control and signal processing.
Increasingly, software architects are turning towards dedicated design environments which automate as many programming tasks as possible in an environment - ad hoc from a programming point of view and formal from a semantic point of view. In order to meet this requirement, Polychrony offers a model engineering platform that can be easily and inexpensively adapted to the customer via the creation of a dedicated interface (through model transformation). It comprises a set of functionalities that allow a software architecture (a concurrent C code, for example) to be implemented in a compositional, i.e. truly modular way, based on a high-level specification of its behaviour and structure (in Synoptic, for example). This compositionality distinguishes the polychronic model from the classic synchronic approach (where, to model a software architecture, we must build a centralised controller in an ad hoc way). It also makes it possible to make full use of the expression capacity of the underlying formal computation model, which is synchronous locally and asynchronous overall.
Hand Navigator
Immersive peripheral for controlling a virtual hand in a virtual environment: multimedia, physical simulations, robotics
The manipulation of virtual objects using our actual hands is a big challenge for the virtual reality community. In this context, the Hand Navigator constitutes a real technological advance. It is an immersive device allowing 3D interaction in order to control a virtual hand or a remote handling tool. The device offers ergonomic comfort, precision and dexterity, with 10 degrees of freedom, without the need for calibration. It can be paired with various sensor technologies for different applications, including haptic feedback. A C++ library has been created to allow a user to interface the Hand Navigator effortlessly and quickly with all types of applications, simply by using the pre-defined functions. This technology, covered by patent 96, was the subject of a patent application in July 2008, published under the number FR2933787.
XProc
A new streaming language in response to the rapid development of public data in large volumes
XML has become the standard exchange format for data and various documents on the Web and in databases. The strengths of XML are its tools, standardised by the W3C, OASIS and ISO, which enable conversion of documents between a variety of schemas. The diversification of XML tools poses new problems for wider applications. They require several XML tasks to be solved and their solutions to be combined in a single overall solution. Streaming is a new concept that aims to process dataflows from several sources constantly and in real time, and to provide analyses and decision aids. This technology is designed to address the huge growth in the volume of unstructured data and the need to make fast decisions in an increasingly complex environment. The W3C XProc coordination language addresses these issues. XProc is a transformation language. It allows very large volumes of data from the web to be transmitted in real time by breaking down very large XML documents into separate small files, which will then be transmitted before being reassembled into a single data streaming flow.
Keywords: Inria SME Software Embedded systems Telephony Thierry Vareine Logistics Industry Sector Market Technology transfer
Read more
Hand Navigator video:
Sector contact
Are you an entrepreneur? An industry stakeholder? Do you want to collaborate with one of our research teams? Contact our Technology Transfer Associate for Software Publishing and Embedded Systems.
Thierry Vareine
Tel.: +33 (0)1 39 63 51 77
