UP' Magazine L'innovation pour défi

caméra vidéo

Sphericam 2: nouvelle vision de captation du réel

Sphericam 2 est la première caméra connectée Ultra HD capable de filmer à 360° : la combinaison de six caméras filmant en même temps, dirigées dans plusieurs directions différentes, avec six objectifs enregistrant les images simultanément.

Elle a tout d'une grande !

Une taille inférieure à 10 cms, un poids de 400 grammes, une autonomie de 1 heure à 1h30 en continu, six objectifs et six compartiments destinés à accueillir des cartes microSD et intègrant le WiFi permettant ainsi d’accéder aux vidéos sans fil, 4 micros pour capter le son dans toutes les directions, une technologie pointue permettant de visualiser du contenu, d’éditer ou encore de déclencher l’enregistrement à distance : voilà la caméra qu'on attendait !
Dotée de ses six lentilles synchronisées, d’un stabilisateur automatique et d’un GPS, la Sphericam 2 capture des vidéos dont la définition peut atteindre 4096 x 2048 pixels, à 30 ou 60 images par seconde.

 


Une fois enregistrées, les vidéos peuvent être visionnées sur une tablette, un ordinateur, un smartphone ou un casque de réalité virtuelle comme le Google Cardborad ou l'Oculus Rift.


Il sera aussi possible de piloter la caméra depuis n’importe quel terminal et tout particulièrement de lancer ou stopper l’enregistrement de vidéos, changer les options de vue ou partager et monter ses vidéos en temps réel grâce à l’application dédiée. La caméra sphérique peut être fixée à un trépied, un monopode ou à un bras, fourni par la marque.

Selon Jeffrey Martin, le CEO américain de Sphericam et qui a élaboré le design, la version actuelle de la caméra est en pleine évolution puisque l'équipe souhaite apporter des améliorations, des accessoires, notamment pour l'utilisation sous l'eau, ... Jeffrey souhaitait réaliser "un objet de beauté et de contemplation, pas encore un de ces trucs moches technologiques. Je voulais qu’on puisse la poser au beau milieu d’une salle à manger et se dire que c’est beau".
Prix de vente prévu : 1399 dollars. Date de commercialisation : décembre 2015.


Sphericam 2 fait l’objet d’une campagne sur la plateforme Kickstarter jusqu'à fin juillet.
(Source : Kickstarter)

robotique

Innorobo 2015 : les robots font salon

Innorobo 2015 : Du numérique à la robotique, un continuum dans la transformation de nos vies quotidiennes du 1er au 3 juillet à Lyon.
L'édition 2015 d'Innorobo s’attache à représenter toutes les robotiques et la dynamique transversale de la filière. Cette 5ème édition est organisée autour des six thématiques et champs d’application les plus porteurs de cette transformation : ville intelligente, maison intelligente, robotique médicale et de santé, usine du futur et robotique de terrain. L’événement met en scène les technologies les plus avancées afin que les visiteurs puissent co-définir leur vision du futur et développer une stratégie de conquête.

La robotique fait déjà partie de nos vies et intégrera de nombreux secteurs de l’économie dans un futur proche. Plus qu’une industrie verticale, la robotique est une dynamique transversale qui impacte un grand nombre de secteurs d’activités.

Que l’on parle d’Internet, d’Internet des objets, de Big data ou d’Internet of Robotics things, on fait référence aux mêmes technologies sous-jacentes qui viennent transformer nos modes de vie et notre quotidien : des technologies de communication, du logiciel (intelligence artificielle, algorithme de reconnaissance vocale ou d’analyse d’images, design d’interface et d’interaction, etc), de l’électronique, la science des matériaux et la mécanique. En créant ces appellations, peut-être plaçons-nous des frontières illusoires mais sécurisantes pour que le changement nous paraisse moins rude, nous fasse moins peur. Peut-être préférons-nous avoir une vision à cinq ou dix ans plutôt qu’à trente. N’est-ce pas dommage quand nous aurions plus de temps pour nous préparer à la transformation de nos vies ? Une chose est sûre : Internet entre en action dans le monde physique et à Innorobo, ils appellent cela de la robotique.

Les chiffres du marchés de la robotique où les tendances 2014 se confirment

→ Une croissance du marché total de la robotique de 30% par an en moyenne sur les trois prochaines années, tirée par la robotique de services.
→ Une augmentation de 345 % des ventes de robots d’assistance aux personnes handicapées. En 2013, 700 robots d’assistance ont été vendus dans le monde contre 160 en 2012.
→ Convergence entre la robotique industrielle et la robotique de services donnant naissance à des robots « collaboratifs » (la cobotique) et adaptés aux PME et ETI (baisse des prix, facilité d’installation).
→ Implication accrue des grands secteurs (automobile, logistique et transport, sécurité, électronique grand public, télécommunications, internet, électroménager, etc…) et des territoires en robotique.
→ Multiplication des créations de startups, porteuses d’innovations technologiques et d’usages.
→ Convergence Internet / Télécommunication et robotique : Internet en action dans le monde physique.

Pour la robotique Industrielle, le stock total mondial de robots industriels opérationnels à la fin de 2013 était de l'ordre de 1.332.1 unités. La valeur du marché mondial en 2013 étant estimée à 29 milliards de $.

SoftBank Robotics Corp. vient d'annoncer que les 1000 unités de Pepper, le premier robot personnel au monde capable d’identifier les émotions, ont été vendues en une minute ce samedi 20 juin, après l’ouverture des ventes pour cette première série sur le site de SoftBank au Japon. Des ventes additionnelles seront programmées et annoncées en juillet sur le site de SoftBank.


Pepper, créé par Aldebaran en collaboration avec SoftBank, est le premier robot humanoïde personnel au monde capable de reconnaître certaines émotions, de tenir compte de son environnement et de réagir de manière proactive en utilisant des algorithmes propriétaires. Pepper est ainsi équipé de fonctionnalités et d'une interface de haut niveau lui permettant de communiquer avec son entourage, d’évoluer avec fluidité et d’analyser les expressions et les tonalités de voix en utilisant les dernières avancées en matière de reconnaissance vocale et émotionnelle.

Pour la robotique de service professionnelle, depuis 1998, environ 150.000 robots de service pour un usage professionnel ont été comptabilisés. Il est impossible d'estimer combien de ces robots sont encore en activité en raison de la diversité des produits et de leur utilisation. Il est cependant intéressant de noter que jusqu'à 2008, environ 63.500 robots ont été vendus au cours d'une période de plus de 12 ans. Toutefois, au cours des cinq dernières années, 100.000 robots ont été vendus. Ceci démontre l'accélération du rythme des ventes.

Concernant la robotique médicale, les applications les plus importantes sont les robots d’assistance à l’acte chirurgical et à la thérapie avec plus de 1.000 unités vendues en 2013. La valeur totale des ventes de robots médicaux, bien que 6% seulement en unités, est de 1.450 millions de dollars, soit 41 % de la valeur totale des ventes de robots de services professionnels.
Les ventes de robots médicaux sont estimées à environ 1.300 unités en 2013, ce qui représente une part de 6 % du total des ventes unitaires de robots de service professionnels.

Quant à la robotique de service personnelle, en 2013, environ 4 millions de robots de service pour un usage personnel et domestique ont été vendus, soit 28 % de plus qu'en 2012. La valeur des ventes a augmenté de 1,7 milliard de dollars.
Les ventes de robots d'assistance aux personnes âgées et handicapées seront d'environ 12.400 unités dans la période de 2014 à 2017. Ce marché devrait augmenter sensiblement au cours des 20 prochaines années. (Source IFR 2014)

Quelques 31 millions de robots de service personnels seront vendus entre 2014 et 2017, d’après le syndicat Syrobo.

En France, entre 2008 à 2014, le taux de croissance annuel moyen de la robotique de service a été de 29,4%. Porté par le succès d’Aldebaran Robotics, Medtech, Infotron ou encore E.Zicom, il poursuivra son envol d'ici à 2020 (Source Xerfi).

La grande tendance : les Smart Homes

Alors qu’on promet plus de 200 objets connectés dans la maison, tous contrôlés depuis un Smartphone ou une tablette, je m’interroge sur notre capacité à gérer individuellement chacun de ces objets pourvu d’une application spécifique. Que se passe-t-il lorsque nous sommes plusieurs, en famille, dans une même maison ? Qui prend le contrôle de quel objet ? Alors, bien sûr, la Smart Home n’est pas cette juxtaposition d’objets connectés semi-inertes. Elle procède d’un système intégré, qui capte les informations de son environnement, les analyse en fonction de différents scénarii de vie, individuel et collectif des personnes dans la maison puis communique aux différents « actionneurs » en « machine to machine » pour que se déclenchent des actions qui vont améliorer notre confort, nous assister dans nos tâches quotidiennes, contribuer à l’efficacité énergétique de la maison.

Deux mouvements en parallèle viennent alimenter l’émergence de Smart Homes :
• D’un côté les multiples propositions d’objets connectés intelligents qui fleurissent dans les cerveaux d’entrepreneurs créatifs et qui s’adressent directement au grand public ;
• De l’autre, celui de l’usine du futur, en BtoB, qui profite des progrès technologiques notamment en électronique, informatique et communication, mais aussi des expériences d’interfaces innovantes entre l’homme et la machine pour créer de nouveaux process intégrés dans un environnement collaboratif homme-machine. Les premiers ordinateurs se sont d’abord diffusé en BtoB avant de transformer nos quotidiens.

La Smart Home de demain, dans cinq, dix ou trente ans, sera probablement au croisement de ce double mouvement. Impossible lorsque l’on parle de la transformation robotique de nos vies au quotidien, à la maison, de ne pas mentionner le robot «majordome», qui est là, humanoïde, pour m’assister dans toutes mes actions et la réalisation de mes désirs.
Il faut dire que le robot humanoïde est - je cite ici Bruno Maisonnier, fondateur d’Aldebaran Robotics - « l’interface homme-machine ultime tant elle est naturelle ». Mais la réalité de la robotique domestique aujourd’hui est plus le fait de systèmes domotiques (ouverture des volets lorsque le soleil se lève, fermeture centralisée lorsque je quitte mon domicile, etc…), de robots aspirateurs, tondeuses à gazon autonomes, robots de piscine ou laveurs de vitres. Donc des robots dédiés à une corvée spécifique, qu’ils réalisent merveilleusement bien à ma place.
Néanmoins, à la médiane de la vision et de la réalité, un nouveau type de robots est en train d’apparaître : le Robot social ou robot compagnon. Il n’est ni totalement humanoïde, ni totalement monotâche, il est dans l’interaction avec l’humain et capable d’intégrer de nouvelles applications à notre service, en accord avec ses capacités physiques et « sensorielles ».
Le robot social est peut être la solution robotique idéale pour m’assister dans mon quotidien. Il ne fait pas peur et est capable de rendre de multiples services à un prix abordable pour le marché grand public. C’est une nouvelle typologie de robots que j’invite les investisseurs et l’écosystème au sens large à suivre de près.

Une conférence plénière dédiée au Smart Home se déroulera le vendredi 3 juillet de 9h00 à 11h00 avec des intervenants prestigieux sur le sujet :
- Yuki Nakagawa - CEO - RT Corporation
- Gwennaël Gâté - Co-Founder - Angus.ai
- Jérôme Schonfeld, General Manager & Co-founder - HOLÎ
- Martin Hägele - Head of Department Robots and Systems - Fraunhofer IPA

Les autres conférences traitant de cette thématique sont répertoriées sur le site de l’événement.

Autre grande tendance : L’intelligence artificielle, utopie ou dystopie ?

"Réussir à créer une intelligence artificielle serait le plus grand événement dans l'histoire de l'homme. Mais ce pourrait aussi être le dernier" Stephen Hawking.

La peur, inhérente au progrès technologique suscite de nombreux questionnements. Le premier serait incontestablement la possibilité que la machine se retourne contre l'homme, non parce qu'elle aurait acquis comme par magie une conscience maléfique, mais parce que les capacités de calcul limité des programmeurs ne peuvent pas éviter l'apparition d'effets pervers.

Conférences et experts intervenants :
- « Modularité, mouvements non musculaires, contrôle et détection distribués : que peuvent nous apprendre les plantes en matière de robotique ? » Par Barbara Mazzolai - Director - Center for Micro-biorobotics – IIT
- « Adresser les Challenges de la Soft Robotic. » Par Jamie Paik - Director - Reconfigurable Robotics Laboratory – EPFL
- « D’autres voies pour le marché de la robotique de service » Par Ramesh Caussy - CEO, CTO and Founder Partnering Robotics
- « App Store Global pour Robots – pour faire changer d’échelle votre Business Model » Par Joost Nijhoff - Business Developer IT & Robot - UDVIKLING FYN P/S

Et qu'en est-il de la robotique médicale et de santé ?

Le vieillissement de la population et le développement économique des pays émergents entraînent une augmentation significative des coûts liés à la santé. Pour les maîtriser tout en assurant une qualité des soins croissante, les technologies numériques et robotiques sont présentes sous de multiples formes : l’appareil médical à domicile mobile et connecté, les vêtements qui contrôlent vos données vitales, les prothèses robotiques, les exosquelettes, le robot de chirurgie qui permet des opérations mini-invasives ou encore les robots de ré-éducation, les robots de transport de médicaments, ceux qui préparent les mélanges pharmacologiques, la cyber-médecine, etc. … sont autant d’innovations qui transforment les pratiques du domaine médical et qui sont déjà largement utilisées…

Humain réparé ou humain augmenté, une question d’éthique : Les transhumanismes soutiennent que grâce à la technologie, l’Homme pourra accroître ses capacités, s’améliorer. Pour eux, l’Homme est arrivé à une nouvelle étape de son évolution : l’évolution grâce aux machines et aux biotechnologies. Les perspectives d’humains réparés et augmentés soulèvent de nombreuses questions d’éthique mais aussi d’accès pour tous à la médecine robotisée.

Toujours plus de financements ! La recherche dans le domaine médical est longue et couteuse. Les tests cliniques obligatoires pour obtenir la validation de nombreuses homologations et normes, impliquent pour les startups robotiques la recherche de financements importants sur le long terme.

Les conférences et les experts internationaux :

- "Commercialiser les technologies Microbotics » : Par Bradley Nelson - Professor of Robotics - ETH ZURICH
- « Technologies pour le mieux-être: une main imprimée en 3D » Par Joel Gibbard - CEO – OpenBionics
- « La robotique d’assistance – les challenges de l’intégration de l’humain dans le système » Par Angelika Peer - Full Professor - Bristol Robotics Laboratory (UWE)

Programme complet des conférences

Programme 
A noter : seule la journée du vendredi 3 juillet est ouverte au Grand Public. Les deux autres jours (mercredi et jeudi) sont dédiés uniquement aux professionnels.

Lieu : Cité internationale de Lyon (Centre des Congrès) - 50 Quai Charles de Gaulle - 69006 - Lyon

technologies de pointe

L'avenir du train est dans le tube !

A partir du long édito argumenté et historisé depuis les débuts du train de René Trégouët dans rtflash, je vous invite a surveiller deux projets qui sont à mon avenir l’avenir du train.

"Le train et de chemin de fer constituent une aventure scientifique et technique extraordinaire, qui commence dès le début de la révolution industrielle et ne cessera d’en être l’un des moteurs essentiels. C’est en effet seulement 35 ans après que James Watt eut breveté sa première machine à vapeur, en 1769, que l’inventeur britannique Richard Trevithick fit la démonstration, le 21 février 1804, de la première locomotive à vapeur, qui transportait alors dix wagons à une allure encore modeste de 8 km/h. Il fallut cependant attendre 1812 que l’ingénieur britannique John Blenkinsop conçoive et réalise, entre Middleton Colliery et Leeds, la première locomotive et le premier système de transport sur rail suffisamment fiables pour permettre une utilisation commerciale."

Les temps ont bien évolué depuis cette époque... Et ce n'est pas fini ! L'avenir est à la lévitation magnétique, à la sustentation magnétique. 

Un premier projet de ce type a été présenté il y a un an par des chercheurs de l’Université de Chengdu, en Chine, dirigés par le professeur Deng Zigang. Ce projet, pour le moins futuriste, est un « super-Maglev » qui imagine un train magnétique comme celui des Japonais, mais qui circulerait dans un tube où la pression de l’air serait 10 fois inférieure à la pression atmosphérique au niveau de la mer. Il serait ainsi possible d’atteindre la vitesse fabuleuse de 2 900 km/heure, c’est-à-dire presque cinq fois la vitesse-record qui vient d’être atteinte par le Maglev nippon… 
Les scientifiques chinois ont ainsi construit la première plate-forme test de prototype au monde d'un train à sustentation magnétique à vide ultra-haute vitesse. 
(Voir l'article dans China Daily- en anglais)

 

Le second projet, à peine moins futuriste que le premier, a été présenté récemment par Elon Musk, le charismatique patron de Tesla : il s’agit d’Hyperloop. UP' Magazine le présentait déjà en aôut 2013. Elon Musk estime que les trains à grande vitesse sont trop onéreux et qu’ils ne vont pas suffisamment vite. Il propose donc, étude technique à l’appui, cet étonnant système de transport futuriste, baptisé Hyperloop. Celui-ci se veut plus réaliste, moins complexe, plus fiable et surtout beaucoup moins coûteux que le Super-Maglev chinois. Conçu pour des distances n’excédant pas 1500 kilomètres, ce mode révolutionnaire de transport se compose d’un double tube surélevé dans lequel se déplacent des capsules, dont chacune peut emmener 28 passagers.

René Trégouët conclut son édito : "Le train, inventé il y a pourtant plus de deux siècles, reste plus que jamais un extraordinaire et irremplaçable mode de transport, tant pour le fret que pour les passagers et cela pour au moins quatre raisons. En premier lieu, le train reste de loin le moyen le plus économique de déplacement rapide. Deuxièmement, le train est plus performant, en terme d'efficacité énergétique par passager transporté, que n'importe quel autre moyen de transport. Troisièmement, le train permet de relier entre eux le cœur des grandes métropoles, ce que jamais l'avion ne parviendra à faire tant qu’il ne se posera pas comme un hélicoptère. Enfin, l'impact global sur l'environnement (émissions de polluants, de CO2 mais également nuisances sonores) d'un train à très grande vitesse de type Maglev, capable de rivaliser avec l'avion jusqu'à des distances de 2000 km, est sensiblement plus faible que celui du transport aérien.

Alors que l'Europe est à la recherche de grands investissements stratégiques qui pourraient à la fois relancer sa croissance, booster sa capacité d'innovation et améliorer la qualité de vie de ses habitants, pourquoi ne pas imaginer dès à présent la réalisation d'un "Euro-Maglev" qui préparerai l'après TGV et relierait entre elles, à l'horizon 2040, toutes les mégapoles européennes en moins d'une demi-journée ?

Souhaitons que notre Pays, qui a toujours été à l’avant-garde de la technologie mondiale en matière de chemins de fer et vient encore de se voir décerner il y a quelques jours la troisième place du classement européen (derrière la Suisse et la Suède) pour l’efficacité et la qualité de son réseau ferroviaire (Classement du Boston Consulting Group), prenne l’initiative de lancer ce projet visionnaire et ose ainsi ouvrir les voies du futur !"

Libérée de ses fils, la fée électricité ouvre une nouvelle ère

A quelques jours d’intervalles, deux groupes nippons viennent d’annoncer avoir réussi une expérimentation de transmission d’électricité sans fil. Le premier, Mitsubishi Heavy Industries (MHI) a réussi à diriger un flux électrique d’une puissance de 2 kilowatts à une distance de 50 mètres. Le second, quelques jours après, est l’Agence japonaise d’exploration spatiale (JAXA) qui est parvenue à faire passer 10 Kw sur une distance de 500 m. En clair, Jaxa démontre la capacité d’allumer une ampoule, sans fil, à ½ km de distance. Ces performances laissent présager une multitude d’utilisations dans les domaines les plus quotidiens de notre vie. Une nouvelle ère pour notre bonne vieille fée électricité.

Les webdocs Grand Format de UP' Magazine

Lancement du laboratoire ProofInUse

ProofInUse est un nouveau laboratoire public-privé, cogéré par l'Inria et AdaCore. Il s'agit là d'un nouveau partenariat majeur dans le but d’augmenter l‘utilisation des outils de vérification basés sur les preuves mathématiques au sein de l’industrie du logiciel : son objectif est de fournir des outils de vérification de logiciels basés sur la preuve mathématique à des acteurs industriels, visant ainsi à remplacer ou à complémenter les activités existantes de tests, tout en réduisant les coûts de vérification pour l’aérospatial, le transport, la médecine ou encore l’aéronautique …

Le laboratoire commun ProofInUse conduit par Inria, l’Institut National de Recherche en Informatique et Automatique, et AdaCore, le principal fournisseur de solutions logicielles pour le langage Ada, a pour but de répandre l’utilisation d’outils de preuves formelles. Ces outils complètent ou remplacent les activités existantes du développement logiciel tout en réduisant les coûts de vérification.

En partie financé par le gouvernement français, le laboratoire commun a été lancé par une journée de conférence ce lundi 2 février à Paris. Les intervenants viennent d’Inria, AdaCore, l’université d’Oxford, l’entreprise OCamlPro et le CEA (Commissariat à l’Énergie Atomique). Outre AdaCore et Inria, les sponsors du laboratoire commun comptent Altran, l’ANR (Agence Nationale de la Recherche), le CNRS (Centre National de la Recherche Scientifique) et l’Université Paris-Sud. Le thème du labcom ProofinUse s’inscrit dans l’une des priorités scientifiques du centre Inria Saclay - Ile-de-France relative à la sûreté, sécurité et fiabilité pour les architectures, les logiciels et les données.

Objectif : démocratiser l'utilisation des techniques de preuve

"Les logiciels vérifiés avec ces techniques formelles seront plus fiables et moins coûteux à développer", promettent les responsables du laboratoire.

La place des logiciels dans les systèmes critiques n'a cessé de croître depuis l'an 2000, à travers une multitude d'utilisations (transports, médecine...). Dans de nombreux domaines, les failles de logiciel peuvent avoir de graves conséquences, humaines ou financières. Pour asseoir la robustesse de ces applications, les méthodes formelles, telle que l'utilisation de la preuve formelle, offrent des avantages financiers et de sécurité. L'utilisation de la preuve mathématique simplifie le processus de vérification et en minore le coût. Un Laboratoire commun AdaCore / Toccata, ProofInUse, a été créé en avril 2014. ProofInUse souhaite proposer aux industriels des outils de vérification de leurs logiciels et ainsi démocratiser l'utilisation des techniques de preuve.

Le déploiement de ces techniques permet d’accroître l’automatisation des activités de vérification, ce qui réduit les coûts et le temps de développement des logiciels critiques. ProofInUse se base sur la technologie SPARK pour le développement d’applications critiques, une technologie développée par AdaCore et Altran.

ProofInUse va donc fournir là un laboratoire pour la recherche sur les techniques de preuves, l’objectif étant que ces recherches permettent de répondre aux défis technologiques et scientifiques qui se posent. Les recherches vont notamment viser à faciliter l’utilisation de démonstrateurs automatiques et à étendre les capacités de SPARK pour vérifier des propriétés plus complexes.
"Les outils de vérification basés sur la preuve mathématique ont précédemment été développés au sein du monde académique, ils ont fait leurs preuves pour trouver des bugs dans des logiciels critiques complexes," déclare Claude Marché, directeur de recherche Inria. "Grâce à notre collaboration avec AdaCore, ProofInUse permettra de continuer à développer ces techniques en les intégrant davantage dans les processus traditionnels de développement logiciel, pour s’assurer qu’elles peuvent être appliquées avec succès dans un contexte industriel".

ProofInUse est né du partage des ressources et des connaissances entre AdaCore et l’équipe de recherche Toccata, spécialisée dans les techniques de preuves de programmes. Lors d’une précédente collaboration entre AdaCore et Toccata, la technologie Why3 de Toccata a été intégrée au cœur de la technologie SPARK d’AdaCore.
"Nous vivons dans un monde dans lequel les logiciels prennent chaque jour une place plus importante, où il devient toujours plus important que les programmes soient fiables, sûrs et sécurisés," déclare Cyrille Comar, président d’AdaCore.
"Développer les techniques basées sur la preuve formelle au sein de SPARK en veillant à les intégrer complètement avec d’autres techniques de vérification telles que les tests est un grand pas pour réduire les coûts et la durée des activités de vérification sans perdre en sûreté. La collaboration public/privé au sein de ProofInUse va donner un nouvel élan pour diffuser plus largement les techniques de vérification basées sur la preuve et accroître l’utilisation industrielle de ces techniques, ce qui devrait bénéficier autant aux industriels qu’au grand public."

Marché visé : l'aide au développement logiciel

Le marché visé par le Laboratoire Commun ProofInUse est celui de l'aide au développement :
- d'applications critiques certifiées (exemples : DO-178, EN 50126, ECSS-E-40B, ISO 26262, etc.) aux niveaux les plus exigeants
- d'applications de sécurité certifiées selon le niveau 5 ou supérieur des critères communs.

 Cela concerne à la fois les domaines où le langage Ada est déjà largement présent (avionique, spatial, ferroviaire) et les domaines qui utilisent d'autres langages (C, C++, Java, principalement) dans lesquels les possibilités nouvelles d'intégration de la preuve et des tests que fournira la technologie SPARK permettront une conversion progressive.

Les avancées obtenues par le travail effectué dans le Laboratoire Commun ProofInUse seront intégrées aux versions successives des logiciels développés par Toccata et par AdaCore.

Plus d'informations

Loading...
Loading...