Technology
La technologie d’Altran Praxis s’appuie sur des connaissances théoriques et sur une expérience opérationnelle. Altran Praxis est fière de sa capacité à relever les défis imposés par le segment de marché des systèmes embarqués critiques grâce à des outils adaptés, son expertise et une efficacité reconnue dans ce domaine.
SPARK est un langage de programmation et une gamme de produits de développement destinés aux logiciels a haut niveau d’exigences. Il est le seul langage spécifiquement conçu pour faciliter le développement de logiciels critiques de sûreté ou de sécurité. Associé à la gamme d'outils SPARK, celui-ci empêche, détecte et supprime les défauts très tôt dans le cycle de vie du produit dès le développement du code source. Ce résultat est obtenu grâce aux principes de
Correctness by Construction appliqués à la conception d’un langage de programmation associé à des outils de vérification.
SafSec est une approche intégrée de gestion des exigences en matière de sécurité et de sûreté. Elle exploite les parallèles existant entre ces deux types d'exigences afin de réduire les coûts de certification. Cette approche était à l’origine destinée aux nouveaux développements (architecture avionique avancée, architecture open source, avionique modulaire intégrée, logiciel commercial de série) et aux mises à niveau mais son utilisation peut être plus vaste.
Altran Praxis maîtrise parfaitement la création d'Interfaces Homme Machine efficaces, fluides et attrayantes. Son expertise couvre les domaines suivants : aide à la conception, ergonomie, création de plateformes logicielles graphiques, intégration de technologies telles que la reconnaissance vocale ou gestuelle, les écrans et appareils tactiles et les systèmes à retour de force.
Connectivité et Mobilité sont actuellement en pleine expansion dans le domaine des systèmes embarqués. Son implication précoce dans la télématique automobile et dans les services de mobilité pour appareils nomades confère à Altran Praxis une excellente maturité. Altran Praxis met en place une infrastructure technologique appelée «Informed Mobility » permettant, en fonction du contexte dans lequel se trouve l’utilisateur final, de cibler les données à transmettre et de les lui fournir au bon moment sur le dispositif le plus approprié.
Praxis est depuis longtemps à la pointe du déploiement d'informatique formelle dans l'industrie. Le terme « Informatique formelle » regroupe des langages, des outils et des disciplines qui sont dépourvus d’ambigüité, fondés sur les mathématiques et applicables à une analyse rigoureuse. L’informatique formelle peut permettre de réduire le coût de développement et améliorer la certification. A plusieurs reprises, nous avons été à l’origine d'avancées majeures comme l’atteste notre impressionnante liste de références, que ce soit des réalisations de projets, des présentations à des conférences ou des publications.
REVEAL® est un processus de gestion des exigences formelles définissant la méthode d’identification, de dérivation des spécifications et de démonstration de l’exhaustivité de celles-ci dans un environnement opérationnel donné. Le terme d’environnement opérationnel inclut à la fois le contexte commercial et organisationnel. REVEAL® est neutre en termes d’outils et de notation.
Le Lean System Engineering tire le meilleur de l’Ingénierie Lean et de l‘Ingénierie système pour donner naissance à un paradigme d'ingénierie axé sur les clients. Ce concept est la base de tous les services fournis par Altran Praxis et favorise une approche globale et intégrée de l’ingénierie qui maximise la valeur et réduit le gaspillage.
Altran Praxis est un évaluateur indépendant de sécurité (
'Independent Safety Assessor' ou 'ISA') reconnu dans un certain nombre de marchés tels que le ferroviaire, l’automobile et l’aérospatiale et défense.
activeISA™ est notre approche en matière d’évaluation indépendante de sécurité. Notre équipe d'évaluateurs rédige un avis tenant compte des informations disponibles en matière de sécurité et réunit des preuves selon plusieurs points de vue.
Altran Praxis utilise une approche particulièrement mature et rigoureuse en matière de développement, de mise en œuvre et de gestion d’architectures systèmes et logicielles. Altran Praxis est capable de créer des plateformes logicielles permettant d’améliorer la productivité, de réduire les risques et d'accroître les chances de succès des développements les plus audacieux et critiques.
L’approche de Correctness by Construction a été élaborée par Altran Praxis afin de formaliser et optimiser l’élimination des défauts logiciels. En d’autres termes, cela permet d'améliorer un logiciel de la manière la plus rentable possible. Cette approche d’ingénierie permet à la fois d’éviter les défauts tout en éliminant rapidement ceux qui surviendraient de manière à minimiser le gaspillage et à maximiser la valeur. Cette philosophie est basée sur une série de principes d’ingénierie et sur une série de méthodes et d'outils intégrés.
L’approche d’Altran Praxis en matière de résolution des problèmes est basée sur le
Lean System Engineering, associé à une philosophie d’engagement axée sur les clients. L’approche HIPS permet à Altran Praxis de satisfaire exactement les exigences de ses clients en termes de ciblage et de « juste besoin ». En alliant une méthodologie de gestion des problèmes de premier ordre et une solide approche en ingénierie, elle s’avère primordiale dans la valeur ajoutée des prestations proposées par Altran Praxis .