Rapid Early-Phase Virtual Integration

Mohan, Sibin; Nam, Min-Young; Pellizoni, Rodolfo; Sha, Lui; Bradford, Richard; Fliginger, Shana

doi:10.1109/rtss.2009.48

Cited by 7 publications

(6 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study also investigated an appropriate architecture-modeling notation and analytical frameworks that support discovery of such problems through an architecture-centric, model-based approach early in the development and upgrade process , Feiler 2008a, de Niz 2008b, Hansson 2008, Mohan 2009. The information gained in these studies was central to developing the method documented in this report.…”

Section: Distributed Communicating Of State Machines 3 Virtualized Rmentioning

confidence: 99%

“…• lack of resource guarantees of shared hardware resources such as delay of low-volume data transfer due to high-volume traffic by a direct memory access (DMA) transfer Support for analysis with AADL: An AADL-based analysis capability has recently been developed to extend the analysis capabilities in OSATE to address this resource contention issue [Mohan 2009]. …”

Section: Resource Availabilitymentioning

confidence: 99%

“…This bus contention results in a significant slowdown of the task execution. When a PCI bus is used, the execution time of the task has been found to increase as much as 37% in laboratory experiments [Nam 2009]. Indeed, this a key reason for frame overruns that frequently occur when there is heavy I/O.…”

Section: Bound On Cpu Stall Induced Worst-case Execution Time (-) Infmentioning

confidence: 99%

“…Schedulability analysis and bus delay analysis is done using a tool called ASIIST (Application Specific I/O Integration Support Tool) [Nam 2009]. An analysis plug-in to OSATE, ASIIST reads in AADL models and can perform schedulability analysis with I/O cache fetch interference and I/O bus delay analysis for an IMA system configuration.…”

mentioning

confidence: 99%

See 3 more Smart Citations

A Virtual Upgrade Validation Method for Software-Reliant Systems

Niz¹,

Feiler²,

Gluch³

et al. 2012

View full text Add to dashboard Cite

List of Tables Executive SummaryThe work presented in this report was performed by the Carnegie Mellon® Software Engineering Institute (SEI) for the Army Strategic Software Improvement Program (ASSIP) and sponsored by the Army Program Executive Office (PEO) Aviation. This report presents a Virtual Upgrade Validation (VUV) approach to improving design quality and confidence in qualification through testing for military systems impacted by computer platform upgrades. This approach uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques. For purposes of this report, the authors focus on changes to the computer platform consisting of processor, network, operating system, or runtime infrastructure.Helicopters and airplanes in military use today are operational well beyond their original life spans and typically are facing multiple platform upgrades as part of technology refresh cycles. Changes to the computer platform tend to be particularly risky because the embedded software makes many assumptions about the computer system. For example, software may have been developed for a federated architecture in which each software component is assumed to run on a dedicated, special processor using a cyclic executive as its runtime executive. The static nature of the task execution order may not be guaranteed on other computer platforms, affecting the execution order and timing. The emergence of the Integrated Modular Avionics (IMA) architecture provides the benefit of increased flexibility for growth of mission capability by utilizing a distributed computer system as a common computing platform. However, migration to this computer resource can have side effects not anticipated by the original embedded software application. For example, applications originally scheduled using a cyclic executive may now execute based on preemptive scheduling paradigms. As a result, the various control systems in the aircraft may encounter latency jitter and race conditions, due to nondeterministic sampling, that are difficult to detect through testing techniques. In one such case, the pilot experienced random blurring of the tracking symbol on his display screen due to latency jitter, which was traceable to nondeterministic sampling under certain processor load conditions [Feiler 1998]. This example illustrates that even planned upgrades to well-known standards-based architectures, such as Aeronautical Radio Incorporated (ARINC)653, can have impactful, unintended side effects.The U.S. Army has traditionally qualified systems and components by similarity, analysis, test, demonstration, or examination. Furthermore, current test approaches to achieving confidence in systems' airworthiness for the U.S. Army are based on traditional federated avionics systems [Boydston 2009]. The most common approach to dealing with platform change today is to port the code to the new platform and regression test exhaustively. Testers hope that the regressi...

show abstract

Section: Distributed Communicating Of State Machines 3 Virtualized Rmentioning

confidence: 99%

Section: Resource Availabilitymentioning

confidence: 99%

Section: Bound On Cpu Stall Induced Worst-case Execution Time (-) Infmentioning

confidence: 99%

mentioning

confidence: 99%

See 2 more Smart Citations

A Virtual Upgrade Validation Method for Software-Reliant Systems

Niz¹,

Feiler²,

Gluch³

et al. 2012

View full text Add to dashboard Cite

show abstract

“…Avionics systems also have to meet many safety-critical criteria, which are impossible to verify manually when a system is very complicated. Virtual integration [Mohan et al 2009] is a concept of performing all the required analysis and estimation before actual integration using software and hardware models of a system. Virtual integration helps system designers to test multiple options, make modifications, and check safety-critical requirements relatively quickly.…”

Section: Introductionmentioning

confidence: 99%

Modeling towards incremental early analyzability of networked avionics systems using virtual integration

Nam

Kang

Pellizzoni

et al. 2012

ACM Trans. Embed. Comput. Syst.

Self Cite

View full text Add to dashboard Cite

With the advance of hardware technology, more features are incrementally added to already existing networked systems. Avionics has a stronger tendency to use preexisting applications due to its complexity and scale. As resource sharing becomes intense among the network and the computing modules, it has become a difficult task for the system designer to make confident architectural decisions even for incremental changes. Providing a tailored environment to model and analyze incremental changes requires a combination of software tools and hardware support. We have built a virtual integration tool called ASIIST which can provide a worst-case end-to-end latency of data that is sent through a network and the internal bus architecture of the end-systems. Also, we have devised a new real-time switching algorithm which guarantees the worst-case network delay of preexisting network traffic under feasible conditions. With the real-time switch support, ASIIST can provide an early modularized analysis of the end-to-end latency to make architectural design choices and incremental changes easier for the user. L. 2012. Modeling towards incremental early analyzability of networked avionics systems using virtual integration. ACM Trans. Embedd. Comput.

show abstract