How to create robust system models with YAKINDU Statechart Tools and verification tools

With statecharts, we can model behavioral systems like machines, robots, mobile apps and more. For safety critical applications it is necessary that they are failure safe. We need to ensure this with absolute certainty. YAKINDU Statechart Tools’ configurability can help to achieve this, for example by combining it with a model checking tool or otherwise integrating it into existing toolchains. Read more >

How to create traceability links quickly with YAKINDU Traceability’s bulk link creation editor

A prominent task of YAKINDU Traceability for sure is to create traceability links. It already provides different means to do so. However, based on our users’ feedback, we got the impression that the existing means are not sufficient and do not fulfill all users’ needs. Thus, we started to develop a new concept to create links more quickly and easier than before, and we did so in strong cooperation with our users. This post will present the result – the new bulk link creation editor – as well as the way we got there. Read more >

Using Eclipse Mita with YAKINDU Statechart Tools

Using YAKINDU Statechart Tools is an effective way to describe reactive, event-driven systems. As part of my master thesis I took YAKINDU Statechart Tools and implemented a custom code generator for the new programming language Eclipse Mita. In this blog post I want to show you how it works and how you can use it in your development. Read more >

YAKINDU Statechart Tools March release – new and noteworthy

We released YAKINDU Statechart Tools Standard and Professional Edition version 3.3.0 today!  In the last three months, our team closed 126 issues in total. Here are the new and noteworthy changes in the new version: Read more >

How Visualizing Traceability Data Removes the Worries of Project Management – Part 2

A previous post outlined an example project and a set of key metrics (KPIs) that I want to be able to calculate based on information gathered from multiple different development tools. In this follow up post, I will illustrate how to calculate one of those metrics using traceability information and an example query over the trace graph. Read more >

Traceability – A generic way to link requirements and test cases

Do you want to establish (requirements) traceability to your custom scripts, text files and tools, e.g. link requirements residing in DOORS or Polarion to test cases defined in tools such as VectorCAST or maybe to a custom scripting language? In this post I want to illustrate how to achieve not only the linking in such a case, but also how easy it is to navigate such links and to create a coverage report based on those links. Read more >

Weaving Testing into the Web of Traceability

In the development of safety-critical systems it is essential to prove that the developed product fullfills all requirements (including system requirements, safety requirements and security requirements) to ensure the correct functionality and to prove that engineering is up to the state-of-the-art for legal reasons. Read more >

Swift Code Generation with YAKINDU Statechart Tools

Swift is a programming languages made by Apple, mostly for their iOS and MacOS ecosystem, to replace Objective-C. However, using the official port, a stripped-down version of Swift can also be used under Linux, although it is lacking, for example, graphical libraries that are bound to Apple systems. Cross-compiling iOS or MacOS apps is therefore still not possible, due to missing ports of the required libraries. Working with Swift on Windows is only possible with an unofficial port and may or may not work properly. Read more >

Advanced signal highlighting in Simulink models

When working with Simulink block diagrams, one major use case is to trace signals. Understanding how signal data are processed from inputs to outputs is especially useful when debugging your model. Since signal flows are easily scattered across various subsystems and hierarchy levels tool support is essential here. Read more >

Introducing YAKINDU Model Viewer 1.3.4

The YAKINDU Model Viewer team is proud to release the new version 1.3.4! YAKINDU Model Viewer now includes an extended version of the signal tracing feature. Aside from that, we fixed some bugs and made it to add some new features also.  Read more >

COMMENTS

Popular posts