Comparison of Electric Karting Modelling Using Matlab®/Simulink® Software

Modelling of Electric Drives using freeFOClib

The freeFOClib (short for “free Field-Oriented Control library”) provides a framework for simulations of electric drives with different application purposes. The library can be used to simply build a field-oriented control system for existing machine models from the Modelica Standard Library, investigate the impact of electric faults (battery faults, inverter faults, machine faults) on a electr...

Modelling Software Architectures Using CRADLE

Architecture description languages (ADLs) and architecture analysis and design languages (AADLs) are important modelling and analysing languages for the software design phase. Around a decade ago, a significant number of ADLs, such as Unicon (9), Rapide (5), Wright (1) and C3 (7), were developed to describe a variety of system features. For example, Rapide describes event triggered dynamic arch...

Modelling Software Evolution using Algebraic Graph Rewriting

We show how evolution requests can be formalized using algebraic graph rewriting. In particular, we present a way to convert the UML class diagrams to colored graphs. Since changes in software may effect the relation between the methods of classes, our colored graph representation also employs the relations in UML interaction diagrams. Then, we provide a set of algebraic graph rewrite rules tha...

Modelling Agile software processes using bayesian networks

A Software Modelling Exercise Using FCA

This paper describes an exercise in object-oriented modelling where Formal Concept Analysis is applied to a formal specification case study using Object-Z. In particular, the informal description from the case study is treated as a set of use-cases from which candidate classes and objects are derived. The resulting class structure is contrasted with the existing Object-Z design and the two appr...