VIATRA2

A VIATRA2 modelltranszformációs keretrendszerről információk az eszköz honlapján, a hivatalos Eclipse honlapon, illetve az Eclipse Wikin találhatók. Tovább »

PetriDotNet

A PetriDotNet program egy Petri-hálók szerkesztésére, szimulációjára és analízisére szolgáló keretrendszer. A programot a BME Méréstechnika és Információs Rendszerek tanszékén fejlesztjük azzal a céllal, hogy az oktatásban is használható, könnyen kezelhető és bővíthető program legyen. Tovább »

EMF-IncQuery

Az EMF-IncQuery inkrementális gráfmintaillesztő technológia segítségével hatékony, igen nagy mérnöki modellekre skálázható lekérdezések valósíthatóak meg, amelyekre pl. jólformáltsági validáció, modell-szinkronizáció, és számos egyéb, a modellvezérelt szoftverfejlesztésben használatos szolgáltatás építhető. A keretrendszerről további információk a projekt hivatalos honlapján olvashatók. Tovább »

PRISE case study

Introduction of the case study

The subject of our research is a safety function, designed to initiate an emergency prevention action in the occurrence of the so-called PRISE event. This safety function is used in the Paks Nuclear Power Plant (Paks NPP) located in Hungary. Nuclear power plants are highly safety-critical and complex systems, where the correct operation of the safety procedures is of great importance. The plant protection systems must satisfy high safety requirements and minimize spurious forced outages. Therefore, formal modelling and verification methods need to be applied to prove the correctness and completeness of the PRISE safety function.
  Tovább »