Jörgen Hansson (University of Skovde)
University of Skovde
Publications by Jörgen Hansson (University of Skovde)
-
Modeling and Validating Security and Confidentiality in System Architectures
March 19, 2021 • Technical Report
Aaron GreenhouseJörgen Hansson (University of Skovde)Lutz Wrage
This report presents an approach for modeling and validating confidentiality using the Bell–LaPadula security model and the Architecture Analysis & Design Language.
read -
ROI Analysis of the System Architecture Virtual Integration Initiative
April 12, 2018 • Technical Report
Jörgen Hansson (University of Skovde)Steve Helton (The Boeing Company)Peter H. Feiler
This report presents an analysis of the economic effects of the System Architecture Virtual Integration approach on the development of software-reliant systems for aircraft compared to existing development paradigms.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
System Architecture Virtual Integration: A Case Study
May 31, 2010 • Conference Paper
Peter H. FeilerLutz WrageJörgen Hansson (University of Skovde)
This paper describes a proof-of-concept demonstration and a return-on-investment analysis of the System Architecture Virtual Integration (SAVI) program.
read -
Toward Model-Based Embedded System Validation through Virtual Integration
January 29, 2010 • Article
Peter H. FeilerJörgen Hansson
This article describes using the AADL to model non-functional quality attributes and provides data on the benefits of this approach from a case study.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
System Architecture Virtual Integration: An Industrial Case Study
November 01, 2009 • Technical Report
Peter H. FeilerJörgen Hansson (University of Skovde)Dionisio de Niz
This report introduces key concepts of the SAVI paradigm and discusses the series of development scenarios used in a POC demonstration to illustrate the feasibility of improving the quality of software-intensive aircraft systems.
read -
Results of SEI Independent Research and Development Projects (FY 2008)
December 01, 2008 • Technical Report
Dionisio de NizGabriel MorenoRobert Nord
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read -
Results of SEI Independent Research and Development Projects (FY 2007)
July 01, 2008 • Technical Report
Len BassLui R. ShaDennis B. Smith
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).
read -
Using Model-Based Engineering and Architectural Models to Build Secure Systems
May 01, 2008 • White Paper
Peter H. FeilerJörgen Hansson (University of Skovde)John Morley
In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.
read -
Building Secure Systems Using Model-Based Engineering and Architectural Models
May 01, 2008 • White Paper
Peter H. FeilerJörgen Hansson (University of Skovde)John Morley
A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.
read -
Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)
December 01, 2007 • Technical Note
Peter H. FeilerJörgen Hansson (University of Skovde)
This 2007 report describes the ability of AADL to determine a lower bound for the worst-case end-to-end latency in a system.
read -
Results of SEI Independent Research and Development Projects (FY 2006)
July 01, 2007 • Technical Report
Christopher J. AlbertsEileen C. ForresterSuzanne Garcia-Miller
This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.
read