I gave a talk on causality checking for complex system models at the VMCAI 2013 conference in Rome, Italy. The slides of my talk are available here. Abstract: With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems …
Causality Checking for Complex System Models (Talk at VMCAI 2013) Read More »
I’m currently developing a new method for automated safety analysis of complex systems. This method is called Causality Checking and allows for the automated generation of fault trees out of system or software architectures in SysML or UML. This post gives an overview of how Causality Checking works. CausCheck : Causality Checking for Complex System Models …
CausCheck : Causality Checking for Complex System Models Read More »
A collection of books discussing functional safety according to IEC61508 and ISO26262. English: Design and Safety Assessment of Critical Systems (recommended) by Marco Bozzano and Adolfo VillafioritaShort Description (source: amazon.com): Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality …
Functional Safety Literature / Books (ISO 26262, IEC 61508) Read More »
It’s december and a new year will start a few days from now. It’s that time of the year where we think of thinks we want to achieve or do more often the next year. Often theses things include sports, losing weight or spending more time with loved ones. These are all valid and important new …
The last few months I had not much time to blog, but today I want to write about a current research project I’m involved in. The QuantUM Approach When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of …
QuantUM: Safety Analysis of Complex System and Software Architectures Read More »
My master’s thesis is now available online here. Abstract When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult …
I just found this Matrix which helps in assessing the competency of a programmer in different fields such as computer science, software engineering, programming, experience and knowledge. While the programming part is pretty detailed, in my opinion the computer science and software engineering part fall short. Software Engineering is not just source control and automated …
Es ist einfach lästig, wenn man immer zwischen Dreamweaver und TortoiseSVN hin und her springen muss. SubWeaver schafft hier Abhilfe, das Addin für Dreamweaver, integriert Tortoise SVN in Dreamweaver so das man dort direkt commiten kann. Und das Beste ist, SubWeaver ist absolut umsonst.
Was soll uns %41%43%45%20%54%65%61%6d wohl sagen? “Übersetzt” bedeutet es ACE Team oder genauer (Microsoft) Application Consulting & Engineering Team. Was kann man sich darunter vorstellen? Dieses Team besteht hauptsächlich aus IT-Security Spezialisten (= Hackern) die Sicherheitslücken aufdecken und helfen diese zu vermeiden. Der jüngste Post widmet sich Sicherheitslücken in Web-Applikationen. First Line of Defense for …
Was mir bisher immer gefehlt hat, war eine WYSIWYG-Editor für Smarty Templates. Sicher man kann auch alle Änderungen direkt codieren aber manchmal finde ich es recht angenehm direkt zu sehen was ich ändere. Nun habe ich endlich eine Extension für den Dreamweaver gefunden mit der ich meine Smarty PHP Templates wie gewohnt mit Dreamweaver bearbeiten kann: …
