Sciweavers

ECBS
2005
IEEE
179views Hardware» more  ECBS 2005»
13 years 10 months ago
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty,...
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
13 years 10 months ago
Building Compilers by Combining Algebras
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
Garrin Kimmell, Ed Komp, Perry Alexander
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
13 years 10 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
ECBS
2005
IEEE
92views Hardware» more  ECBS 2005»
13 years 10 months ago
Towards a Systemic Approach to Autonomic Systems Engineering
An autonomic system is structured as a network of autonomic elements that collaborate to achieve the system’s purpose. This paper examines the potential benefit of using well-es...
David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, ...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
13 years 10 months ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
ECBS
2005
IEEE
101views Hardware» more  ECBS 2005»
13 years 10 months ago
Self-Managing Systems: A Control Theory Foundation
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh...
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
13 years 10 months ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls
ECBS
2005
IEEE
164views Hardware» more  ECBS 2005»
13 years 10 months ago
The Impact of Agile Methods on Software Project Management
As more and more software projects engage Agile Methods, there are emerging patterns of success and failure. With growing adoption of Agile Methods, project managers increasingly ...
Michael Coram, Shawn A. Bohner
ECBS
2005
IEEE
66views Hardware» more  ECBS 2005»
13 years 10 months ago
Generating Driving Directions for Intelligent Vehicles Interfaces
Barbara Di Eugenio, Michael J. Trolio