Software

LDRA tool suite

LDRA tool suite The LDRA tool suite helps you build quality into your software development life-cycle. Our software standards compliance, testing, and verification tools are based on industry best practices to help you develop high quality safety- and security-critical products. Many users of the LDRA tool suite are required to certify their software. The LDRA …

LDRA tool suite Read More »

Qt Framework – the complete software development framework

Qt Framework The complete software development framework The Qt framework contains a comprehensive set of highly intuitive and modularized C++ library classes and is loaded with APIs to simplify your application development. Qt produces highly readable, easily maintainable and reusable code with high runtime performance and small footprint – and it’s cross-platform. Explore Qt Features …

Qt Framework – the complete software development framework Read More »

Qt Creator – A Cross-platform IDE for Application Development

Qt Creator A Cross-platform IDE for Application Development Qt Creator is a cross-platform integrated development environment (IDE) built for the maximum developer experience. Qt Creator runs on Windows, Linux, and macOS desktop operating systems, and allows developers to create applications across desktop, mobile, and embedded platforms. Download Qt SOPHISTICATED CODE EDITOR Qt Creator’s advanced code …

Qt Creator – A Cross-platform IDE for Application Development Read More »

Qt Design Studio – User Interface (UI) Design Tools for Applications

Qt Design Studio User Interface (UI) Design Tools for Applications Qt Design Studio closes the gap between designers and developers. Now they can work simultaneously with one unifying framework, one common language, fewer feedback loops, and faster iterations. Try Qt and Get Qt Design Studio FROM WIREFRAME TO FINAL IMPLEMENTATION Define the look of the UI …

Qt Design Studio – User Interface (UI) Design Tools for Applications Read More »

BTC Requirement Observers

BTC Requirement Observers Professional watchdogs for safety critical applications The increasing size and complexity of embedded software combined with a growing number of safety critical applications is currently leading to some significant changes in the approach for system tests. Especially in areas like autonomous driving or car-to-X communication, we can see two important trends: A …

BTC Requirement Observers Read More »

BTC EmbeddedValidator

BTC EmbeddedValidator More than testing The power of proof for safety-critical systems. The power of proof for safety-critical systems BTC EmbeddedValidator is a tool for the formal verification of safety-critical requirements. Formal verification is performed on production C-code and takes formalized requirements from BTC EmbeddedSpecifier as a starting point. More than Testing The number of …

BTC EmbeddedValidator Read More »

BTC EmbeddedSpecifier

BTC EmbeddedSpecifier Step into the formal world with ease! What if your PC could understand your requirements? Step into the formal world with ease BTC EmbeddedSpecifier is a tool used to create and manage semi-formal and formal requirements for safety-critical projects. While a semi-formal and formal notation of requirements is recommended in standards like ISO …

BTC EmbeddedSpecifier Read More »

BTC EmbeddedTester

BTC EmbeddedTester Smart test generation for an ISO 26262 certified and fully automated Back-2-Back Test Smart test generation for an ISO 26262 certified and fully automated Back-2-Back Test BTC EmbeddedTester provides an ISO 26262 certified and fully automated Back-2-Back Test between Simulink/TargetLink models and production code. In addition to functional test cases that may already …

BTC EmbeddedTester Read More »

BTC EmbeddedTester BASE

BTC EmbeddedTester BASE It’s all about integration Requirements-based Testing for Simulink, TargetLink, Embedded Coder and Handwritten Code It’s all about integration – Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten C code BTC EmbeddedTester BASE is a tool for creating, managing and executing test cases on model and code level (MIL/SIL/PIL). With features like the …

BTC EmbeddedTester BASE Read More »

BTC EmbeddedPlatform

BTC EmbeddedPlatform BTC EmbeddedPlatform is a technology platform which provides a powerful basis for the well-established tools: BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator. Motivation In modern development projects, different test methods need to be combined to ensure a sufficient level of quality. This is e.g. also reflected in the ISO 26262 standard that recommends methods …

BTC EmbeddedPlatform Read More »