Verum: ASD for Software Architects

ASD for Software Architects

ASD: design with agility, manage complexity

ASD:Suite enables you, the software architect or designer of an embedded system, to incrementally evolve and mathematically verify the design of a software system in a logical, intuitive and controlled way from specification to code, allowing you to deliver more complex and demanding projects.

The ASD:Suite:

Is a software engineering tool for:

  • Constructing complete and correct industrial scale systems from components mathematically verified during design

Guarantees:

  • Semantic equivalence between specifications, designs, formal models and runtime behaviour of generated code
Provides:
  • Fully automated formal verification of specifications and designs
  • Fully automatic code generation
  • Easy integration into existing software development teams

Is a paradigm shift:

  • Software engineers make specifications and design models and formally verify them instead of coding and testing

Agile design

ASD:Suite gives you the means to complete a component design early in the project lifecycle, and then easily modify it to allow for new requirements, refinements or design insights, all the while maintaining the end-to-end mathematical integrity of the overall system design. This integrity extends all the way through to the source code as ASD:Suite generates code automatically from your verified Analytical Software Design (ASD) models.

Complexity with confidence

The size and complexity of embedded systems is rising at an ever increasing rate, yet conventional design processes and tools still rely on essentially manual methods to try to ensure correctness. With ASD:Suite you can create larger systems with more components and more complex interactions, while being certain that your design is and will remain complete and correct. ASD:Suite also provides feedback on the complexity of your model, allowing you to fine tune a design for minimum complexity.

Stay engaged

From the creation of complete specifications, through the production of a verifiably correct design, to validation of the final product. With ASD:Suite you can verify the design before a single line of code has been produced, generate code automatically and create test frameworks for manually written code. You remain engaged and your work remains core to the development and verification of a working system.

Get in touch

For more information or a product demonstration contact us.

+31-40-2359090
+31-40-2359099
info@verum.com
Location