Technology
The Altran Praxis technology is based on both theoretical knowledge and operational experience. Praxis prides itself on its ability to attack the challenging market segment of embedded and critical systems with the right tooling, expertise and systems delivery capability.
SPARK is a programming language and a set of software development products for high assurance software. The SPARK programming language is the only language specifically designed to support the development of safety or security critical software. In combination with the SPARK toolset, SPARK prevents, detects and eliminates defects early in the lifecycle as the source code is developed. It is, effectively, the result of applying the principles of Correctness by Construction to the design of a programming language and associated verification tools.
SafSec is an integrated approach to managing both safety and security requirements and exploits the parallels between the two types of requirements to reduce certification cost. The approach was originally targeted for new developments (advanced avionics architecture, open source architecture, integrated modular avionics, commercial off-the-shelf software) and in-service upgrades but is more widely applicable.
Praxis has expertise in the creation of efficient, fluid and attractive Human Machine Interfaces. This expertise covers: support to designers and ergonomists, creation of architecture and supporting frameworks, integration of interface technologies such as speech recognition, gestural interfaces, touch screens and devices such as haptic feedback systems.
Connectivity and mobility are currently the key expanding markets for embedded systems. Praxis has a mature capability in this area based on its early involvement in automotive telematics and location based services for mobile devices. Praxis is constructing a technology base for Informed Mobility; providing the right data to the right device at the right time and in the manner appropriate to the end user context.
Praxis has a long and distinguished history of being at the forefront of deploying industrial formal computing. Formal Computing is the collective term for languages, tools and disciplines that are unambiguous, underpinned by mathematics, and amenable to sound analysis. Formal computing can offer the benefit of reduced development cost and increased assurance. We have repeatedly broken new ground, as attested to by our impressive track record of project delivery, conference presentations, and journal papers.
REVEAL® is a formal requirements management process that defines method for the identification of requirements, the derivation of specifications, and the demonstration of specification sufficiency given an identified operational environment. Operational environment includes both a business and organisational context. REVEAL® is tool and notation-neutral.
Lean Systems Thinking blends the best of Lean Engineering and Systems Engineering to provide a client-focussed engineering paradigm. Lean Systems Thinking underpins all of Praxis’ services and encourages a rounded and integrated approach to engineering that maximises value and reduces waste.
Praxis is a trusted Independent Safety Assessor (ISA) in a number of markets including rail, automotive and aerospace. activeISA™ is our approach to performing safety assessments. Justified opinions are generated by an assessment team who take a wider look at existing safety information and collect evidence from diverse viewpoints.
Praxis has a very mature and rigorous approach to the development, implementation and management of system and software architectures. Praxis has the ability to establish a framework that supports productivity, reduces risk and promotes the chances of successful delivery of the most challenging and critical developments.
Correctness by Construction was defined in order to capture Praxis’ lessons learnt on eliminating or removing defects from software in the cheapest way possible. Put another way, it captures Praxis’ approach to engineering quality into software in the most cost-effective manner. Correctness by Construction is an engineering approach that combines defect avoidance with rapid defect removal in such a way as to minimise waste and maximise value. The philosophy is based on a set of engineering fundamentals and is underpinned by an integrated set of Praxis methods and supported tools.
Praxis' approach to solving problems is based on Lean Systems Thinking integrated with a customer-focussed engagement philosophy. This HIPS approach allows Praxis to deliver the exact client value required, no more and no less. HIPS is fundamental to the delivery of Praxis' services and combines best-in-class management theory with a firm engineering approach to delivering value.