Inria
Inria.fr
Inria Channel
There are 11 Results with the keyword : "Embedded systems"
Joseph Sifakis
-
@ CNRS Bellevue
Cycles "les défis scientifiques du 21e siècle"
Sifakis-systèmes embarqués
On Tuesday, 10 March, Joseph Sifakis, winner of the 2007 Turing Prize, research director at CNRS and holder of the Schneider-Inria-Digiteo industrial chair, will give a lecture at the Academy of Science on the topic of embedded systems – new challenges in computer science, which Inria has made one of its priorities.
Keywords:
Home > News > News from Inria > Sifakis-systèmes embarqués
© Inria / Photo Kaksonen
Embedded systems
A dedicated cryptography system for embedded systems
Two researchers, Pierrick Gaudry and Eric Schost, have just put the finishing touches to a new, faster, more reliable cryptosystem. Called Surf 1271, it is based on the use of hyper-elliptical curves and seems particularly well-suited to embedded systems.
Keywords:
Home > News > News from Inria > Système de cryptographie dédié aux systèmes embarqués
Demo showroom
Personal humanoid robotics: Acrhoban
Keywords:
- Embedded systems
- Aeronautics
- Defence
- FLOWERS
- Space
- Security
- Human-robot interfaces
- Motor control
- Humanoid Robotics
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > Robotique humanoïde personnelle : Acrhoban
Demo showroom
TimeSquare: Functional Specifications based on Logical Time in Model Engineering
TimeSquare is based on the CCSL (Clock Constraint Specification Language) formalism, part of the OMG UML MARTE profile (modeling and analysis of embedded real-time systems). The tool makes it possible to specify logical clocks and associate them with behavioral activations and rates within an embedded system (for example, modeled in UML or SysML). TimeSquare permits the analysis and unification of logical clocks and their heterogeneous times for placement/scheduling of applications on execution platforms.
Keywords:
- UML/SysML
- Security
- Aeronautics
- Space
- Defence
- Embedded systems
- Limited preemption scheduling
- Polychronous languages
- Logical clocks
Home > Innovation > industrial sectors > Aeronautics, defence, space, security > Demo > TimeSquare
Software publishing, embedded system
Interview with Thierry Vareine, Sector Associate
Software and embedded systems have been one of the core focuses of Inria's work since its creation. From smart cards to rockets and satellites, not to mention transport (trains, automobiles) and consumer electronics (telephones), these technologies drive innovation and growth for the whole economy. Interview with Thierry Vareine, Technology Transfer Associate for Embedded Systems & Software Publishing.
Keywords:
- Software
- Industry
- Technology transfer
- SME
- Logistics
- Thierry Vareine
- Embedded systems
- Telephony
- Secteur
- Marché
Home > Innovation > industrial sectors > Software publishing, embedded system > Edito
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.
Keywords:
- Inria
- SME
- Software
- Embedded systems
- Telephony
- Thierry Vareine
- Logistics
- Industry
- Sector
- Market
- Technology transfer
Home > Innovation > industrial sectors > Software publishing, embedded system > Logiciels
Demo showroom
TimeSquare: Functional Specifications based on Logical Time in Model Engineering
TimeSquare is based on the CCSL (Clock Constraint Specification Language) formalism, part of the OMG UML MARTE profile (modeling and analysis of embedded real-time systems). The tool makes it possible to specify logical clocks and associate them with behavioral activations and rates within an embedded system (for example, modeled in UML or SysML). TimeSquare permits the analysis and unification of logical clocks and their heterogeneous times for placement/scheduling of applications on execution platforms.
Keywords:
- UML/SysML
- Security
- Aeronautics
- Space
- Defence
- Embedded systems
- Limited preemption scheduling
- Polychronous languages
- Logical clocks
Home > Innovation > industrial sectors > Software publishing, embedded system > Demos > TimeSquare
Careers at Inria
Alexis Muller: "The path I chose was research"
Alexis Muller is an expert engineer at Inria Lille - Nord Europe. His early experiences in industry made him understand that his future lay in research.
Keywords:
Home > Institute > Recruitment > A diverse range of professions > Alexis Muller, ingénieur expert
Embedded Systems
Polychronous Modeling for Multi-core Embedded Systems
Researchers from Inria and VirginiaTech work together on polychronous programming paradigms that could help design critical embedded software for multi-core architectures. Part of this open source technology will be used by the US Air Force, as French scientist Jean-Pierre Talpin explains
Keywords:
- VirginiaTech
- Embedded systems
- Jean-Pierre Taplin
- ESPRESSO
- Polychrony
- INRIA Rennes - Bretagne Atlantique
Home > Centre > Rennes > News > Polychronous Modeling for Multi-core Embedded Systems
Technology - Embedded systems
Polychrony and embedded systems
Built around the Signal language, Polychrony facilitates the integrated development of real-time embedded applications. It is the outcome of a long cycle of research on formal modelling, as explained by the scientists of the Espresso project-team.
Keywords:
- ESPRESSO
- Polychrony
- Boîte à outils
- Real time
- Inria Rennes - Bretagne Atlantique
- SIGNAL
- Embedded systems
Home > Centre > Rennes > News > Polychrony systèmes embarqués
Inria Research Centers
