Formal Verification of Statechart Networks

Imagine you have developed a spacecraft that is super-safe, because following the trends, you have applied model-based design and testing. All components modeled by statecharts, tested, implemented by automatically generated code, what can go wrong? Then on the day of launch, the whole thing explodes in a spectacular fireball. The cause? Interactions. The cure? Formal verification. Read more >

YAKINDU Statechart Tools and HYPED meet Hyperloop

Hyperloop is Elon Musk’s (CEO of Tesla and SpaceX) concept for the future of mass transportation. It offers a new means of transporting people and goods quickly, safely, efficiently, and with minimised environmental impact. Read more >

Introducing YAKINDU Model Viewer 1.3.6

YAKINDU Model Viewer is now released in version 1.3.6. In the last two months we worked on better visualizations of certain block types and fixed an armada of bugs as you can see below. Read more >

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 >

Processing Enterprise Architect Models with the YAKINDU EA-Bridge

Previously, I presented how to tailor Enterprise Architect (EA) with MDG Technologies to define UML profiles and with add-ins to increase productivity. In this final article, I would like to develop the running example further to generate source code from the EA model. This means to transform the EA model into an Ecore model, the meta model of EMF. 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 >

How to Integrate Arduino with Eclipse Mita

Developing embedded devices, especially for IoT applications, can be a very complex task and requires a lot of knowledge. In the last blog post of my colleague Thomas Kutz we introduced Eclipse Mita, a new programming language designed for developing embedded IoT devices. It comes with a concise syntax based on event-driven paradigms and abstracts from the underlying hardware.  Read more >

Eclipse Mita – Bringing software development for the IoT to a higher level

Software development for embedded IoT systems is not an easy task. In most cases, you’ll have to write C or C++ code; both coming with a higher learning curve than modern programming languages like Go and Rust. And in most cases, you’ll have to write a fair amount of lines of code to make an LED blink, the Hello World application of embedded software development. However, especially when you come from an application development point of view, the real difficulty lies in dealing with the hardware you are developing for. Read more >

Tailoring Enterprise Architect with Add-ins

This is the second of three articles in which I would like to discuss common issues (and our solutions) that occur when Enterprise Architect, EA for short, is used to create models that are processed further by other tools.  Read more >

Tailoring Enterprise Architect with MDG Technologies

Enterprise Architect, EA for short, is a widely used integrated modeling platform with an impressive amount of supported languages including UML, SysML or BPMN. But even with this large collection of languages, you may have found yourself in a situation where none of them fulfilled your particular use case in an appropriate manner. Such situations occur often when the EA model is processed further by other tools and is not only used for documentation purposes. The challenge is then to come up with a model that is accepted by the tools processing it. Read more >

COMMENTS

Popular posts