Julien Delange
Software Engineering Institute
Publications by Julien Delange
-
Security Modeling Tools
January 12, 2017 • Podcast
Julien Delange
In this podcast, Julien Delange discusses security modeling tools that his team developed and how to use them to capture vulnerabilities and their propagation path in an architecture.
learn more -
Architecture-Led Safety Process
December 21, 2016 • Technical Report
Peter H. FeilerJulien DelangeDavid P. Gluch
Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible.
read -
Automated Assurance of Security Policy Enforcement
November 01, 2016 • Presentation
Julien Delange
Security is not only a matter of code. This work extends the AADL with security design rules
read -
Automated Assurance of Security Policy Enforcement
October 18, 2016 • Poster
Julien Delange
Detecting and fixing architecture-related vulnerabilities early in the lifecycle
read -
Automated Fault Tree Analysis from AADL Models
October 07, 2016 • Conference Paper
Peter H. FeilerJulien Delange
In this paper, the authors we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA).
read -
An Open Source Tool for Fault Tree Analysis
July 28, 2016 • Podcast
Julien Delange
In this podcast, Dr. Julien Delange discusses fault tree analysis and introduces a new tool to design and analyze fault trees.
learn more -
Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2
June 22, 2016 • Technical Report
Peter H. FeilerJohn J. HudakJulien Delange
This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.
read -
A Requirement Specification Language for AADL
June 22, 2016 • Technical Report
Peter H. FeilerJulien DelangeLutz Wrage
This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.
read -
Missed Architectural Dependencies: The Elephant in the Room
April 05, 2016 • Conference Paper
Robert NordRaghvinder SangwanJulien Delange
This paper presents an in-depth study of a safety-critical system that underwent major changes as a result of missed architectural dependencies.
read -
Effective Reduction of Avoidable Complexity in Embedded Systems
March 18, 2016 • Podcast
Julien Delange
Dr. Julien Delange discusses the Effective Reduction of Avoidable Complexity in Embedded Systems (ERACES) project, which aims to identify and remove complexity in software models.
learn more -
Incremental Life Cycle Assurance of Safety-Critical Systems
March 16, 2016 • Conference Paper
Julien DelangePeter H. FeilerNeil Ernst
ALISA integrates requirements specification, architecture models, verification techniques, and assurance case traceability to incrementally build systems that satisfy requirements.
read -
Evaluating and Mitigating the Impact of Complexity in Software Models
December 03, 2015 • Technical Report
Julien DelangeJim McHaleJohn J. Hudak
This report defines software complexity, metrics for complexity, and the effects of complexity on cost and presents an analysis tool to measure complexity in models.
read -
Effective Reduction of Avoidable Complexity in Embedded Systems Poster (SEI 2015 Research Review)
October 22, 2015 • Poster
Julien Delange
Examines the need for software complexity management, in particular ways to detect complexity in models and improve model design
read -
Effective Reduction of Avoidable Complexity in Embedded Systems
October 16, 2015 • Presentation
Julien Delange
Examines the need for software complexity management, in particular ways to detect complexity in models and improve model design
read -
Improving Quality Using Architecture Fault Analysis with Confidence Arguments
March 10, 2015 • Technical Report
Peter H. FeilerCharles B. WeinstockJohn B. Goodenough
The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.
read -
Coding with AADL
November 13, 2014 • Podcast
Julien DelangeSuzanne Miller
In this podcast, Julien Delange summarizes different perspectives on research related to code generation from software architecture models.
learn more -
Architecture Analysis with AADL
November 12, 2014 • Webinar
Julien Delange
This webinar introduces the Architecture Analysis and Design Language (AADL), the architecture modeling language used to specify safety-critical systems. We show its use in the Open Source AADL Tool Environment (OSATE).
watch -
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
October 10, 2014 • Technical Report
Julien DelangePeter H. FeilerDavid P. Gluch
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
read -
Safety and Behavior Specification Using the Architecture Analysis and Design Language
June 12, 2014 • Podcast
Julien DelangeSuzanne Miller
Julien Delange discusses two extensions to the Architecture Analysis and Design Language: the behavior annex and the error-model annex.
learn more -
Variations on Using Propagation Costs to Measure Architecture Modifiabilty Properties
September 22, 2013 • Conference Paper
Robert NordIpek OzkayaRaghvinder Sangwan
Demonstrates how enhancing the propogation metric based on architectural metrics results in enhancements detection of modifiability properties not detectable by the propagation cost metric.
read -
Understanding the Role of Constraints on Architecturally Significant Requirements
July 16, 2013 • Conference Paper
Neil ErnstIpek OzkayaRobert Nord
This paper describes a case study conducted to identify architecturally significant requirements that were impacted by tool selection.
read -
Design and Analysis of Cyber-Physical Systems: AADL and Avionics Systems
May 01, 2013 • Presentation
Peter H. FeilerJulien Delange
A presentation from the ninth annual SATURN conference, held in Minneapolis, MN, April 29 - May 3, 2013.
read -
The Latest Developments in AADL
January 17, 2013 • Podcast
Peter FeilerJulien Delange
Julien Delange and Peter Feiler discuss the latest developments with the Architecture Analysis and Design Language (AADL) standard.
learn more -
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
March 26, 2010 • Conference Paper
Julien Delange (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Jerome Hugues (Universite de Toulouse, ISAE)
This paper proposes a process based on model-driven engineering to create distributed real-time embedded systems without manual coding using the AADL toolchain.
read -
Validating Safety and Security Requirements for Partitioned Architectures
June 12, 2009 • Conference Paper
Julien Delange (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Peter H. Feiler
This paper presents an approach to avoid faults and security issues in safety-critical systems by modeling safety and security requirements using AADL.
read