xtUML Days 2019 UK (1)

xtUML Days 2019 UK is coming September 12 in Cheltenham. This is the 6th edition of xtUMLDays. Last year xtUML Days hosted a substantial contingent of Shlaer-Mellor expertise from Saab, Vricon, UK Govt, ICS, BAE Systems, Kyushu University and others. This year will introduce new members to the modeling community. The information page is here:
-> Continue reading xtUML Days 2019 UK (1)

AUTOSAR

In the automotive sector, AUTOSAR establishes standards for architecture, communication and deployment for software and sensor/actuator functionality. A model-driven development approach enables the generation of many of the required artifacts encoded as ARXML. Here is a PhD thesis describing formal verification of such a system.