Sciweavers

885 search results - page 86 / 177
» A Software Architecture for Industrial Automation
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
CGO
2008
IEEE
16 years 25 days ago
Parallel-stage decoupled software pipelining
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
Easwaran Raman, Guilherme Ottoni, Arun Raman, Matt...
SAFECOMP
1998
Springer
15 years 10 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
VAMOS
2010
Springer
15 years 7 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
COMPSAC
2007
IEEE
15 years 10 months ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka