𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Software Frameworks and Embedded Control Systems (Lecture Notes in Computer Science, 2231)

✍ Scribed by Alessandro Pasetti


Publisher
Springer
Year
2002
Tongue
English
Leaves
296
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture.
This book shows how object-oriented software frameworks can be applied to embedded control systems. A case study of a framework using a set of application dependent design patterns for the orbit control system of satellites is presented.

✦ Table of Contents


Lecture Notes in Computer Science
Springer
Software Frameworks and Embedded Control Systems
Preface
Contents
Introduction and Context
Attitude and Orbit Control Systems (AOCS)
Software Frameworks
Framelets and Implementation Cases
Framework Specification
Framework Design
The User's Perspective
General Structure of the AOCS Framework
General Design Principles
The System Management Framelet
The Object Monitoring Framelet
The Operational Mode Management Framelet
The Intercomponent Communication Framelet
The Sequential Data Processing Framelet
The AOCS Unit Framelet
The Reconfiguration Management Framelet
The Manoeuvre Management Framelet
The Failure Detection Management Framelet
The Failure Recovery Management Framelet
The Telecommand Management Framelet
The Telemetry Management Framelet
The Controller Management Framelet
The Framework Instantiation Process
1 Introduction and Context
1.1 The Embedded Software Problem
1.2 Empowering Application Specialists
1.3 The Component Software Challenge
1.4 Objectives and Contributions
2 Attitude and Orbit Control Systems (AOCS)
2.1 AOCS Systems
2.1.1 AOCS Functions
Attitude Control Function
Orbit Control Function
Telecommand Processing Function
Telemetry Processing Function
Failure Detection and Isolation Function
Failure Recovery Function
Reconfiguration Function
Manoeuvre Management Function
2.1.2 AOCS Operational Modes
2.1.3 AOCS Units
2.1.4 The AOCS Software
2.2 The AOCS and Other Control Systems
3 Software Frameworks
3.1 Frameworks,Components,and Inheritance
3.2 A More Complete View of Software Frameworks
3.3 Frameworks and Autocoding Tools
3.4 The Methodological Problem
3.4.1 Design Patterns and Abstract Interfaces Vs.Concrete Objects
3.4.2 Support for Design Patterns and Hot-Spots
3.4.3 Iterative System Specification
3.4.4 Design and Architecture
3.4.5 A Methodology for Frameworks
4 Framelets and Implementation Cases
4.1 The Framelet Concept
4.1.1 Implications for the Design Process
4.1.2 Framelets,Design,and Architecture
4.1.3 Framelets and Aspect-Oriented Programming
4.1.4 Framelet Features
4.1.5 Framelet Constructs
4.1.6 Framelet Heuristics
4.1.7 Framelets in the AOCS Framework
4.1.8 Related Approaches
4.2 The Implementation Case Concept
4.2.1 The Three Roles of Implementation Cases
4.2.2 Implementation Case Scenarios and Extensions
4.2.3 Description of Implementation Cases
5 Framework Specification
5.1 How Important Is Specification?
5.2 An Alternative Specification Approach
5.3 An Example from the AOCS Case Study
6 Framework Design
6.1 Overall Approach
6.2 Alternative Approaches
6.3 The Framework Concept Definition Phase
6.3.1 Definition of General Design Principles
6.3.2 Identification of Domain Abstractions
6.3.3 Construction of the Framework Domain Model
6.3.4 Identification of Framework Hot-Spots
6.3.5 Identification of Framework Design Patterns
6.3.6 Framelet Identification
6.3.7 Identification of Implementation Cases
6.3.8 Identification of Alternative Solutions
6.4 Framelet Concept Definition
6.4.1 Identification of Exported Interfaces and Implementations
6.4.2 Identification of Framelet Hot-Spots
6.4.3 Definition of Applicable Design Patterns
6.4.4 Definition of Framelet Contribution to the Framework
6.4.5 Definition of Framelet Contribution to Reusability
6.5 Framelet Architectural Definition
6.5.1 Definition of Framelet Constructs
6.5.2 Definition of Framelet Hot-Spots
6.5.3 Definition of Framelet Functionalities
6.6 Framework Design Description
6.6.1 Framework Concept Definition
6.6.2 Framelet Concept Definition
6.6.3 Framelet Architectural Definition
6.6.4 Overview of Design Description Techniques
6.6.5 Framelet Interactions
6.6.6 Examples from AOCS Case Study
7 The User's Perspective
7.1 A Reuse-Driven Development Process
7.2 The Functionality Concept
7.2.1 Functionality Types
7.2.2 Mapping Functionalities to Architectural Constructs
7.2.3 Completeness of Description
7.2.4 Mapping Requirements to Functionalities
7.2.5 Functionalities in the AOCS Framework
7.2.6 Alternative Approaches
8 General Structure of the AOCS Framework
8.1 The RTOS Example
8.2 The Lesson for the AOCS
8.3 Telemetry Management in the AOCS Framework
8.4 Controller Management in the AOCS Framework
8.5 The Manager Meta-pattern
8.6 Overall Structure
8.7 Architectural Infrastructure
8.8 Hierarchies of Design Patterns
8.9 The Framework Design Process
8.10 From Design to Architecture
8.11 Related Work
9 General Design Principles
9.1 Boundary Conditions
9.2 An Object-Oriented Framework
9.3 A Component-Based Framework
9.4 Delegation of Responsibility
9.5 Multiple Implementation Inheritance
9.6 External Interfaces
9.7 Basic Classes
9.8 Time Management
9.9 Language Selection
9.10 Execution Time Predictability
9.11 Scheduling
9.12 A Framelet-Based Framework
10 The System Management Framelet
10.1 The System Management Design Pattern
10.2 The System Reset Function
10.3 The System Configuration Check Function
10.4 Storage of Configuration Data
10.5 Reusability
11 The Object Monitoring Framelet^16
11.1 Properties and Property Objects
11.2 Change Objects
11.3 The Monitoring Design Patterns
11.3.1 The Direct Monitoring Design Pattern
11.3.2 The Monitoring through Change Notification Design Pattern
11.4 Implementation Case Example – 1
11.5 Implementation Case Example – 2
11.6 Alternative Solutions
11.7 Reusability
12 The Operational Mode Management Framelet
12.1 The Mode Management Design Pattern
12.2 Mode Change Actions
12.3 Coordination of Operational Mode Changes
12.4 AOCS Mission Mode Manager
12.5 Reusability
13 The Intercomponent Communication Framelet
13.1 The Shared Event Design Pattern
13.2 The Shared Data Design Pattern
13.3 AOCS Data
13.4 Data Pools
13.5 Implementation Case Example – 1
13.6 Implementation Case Example – 2
13.7 Implementation Case Example – 3
13.8 Alternative Implementations
13.9 Reusability
14 The Sequential Data Processing Framelet
14.1 Control Channels
14.2 The Control Channel Design Pattern
14.3 Implementation Case Example
14.4 Alternative Solutions
14.5 Reusability
15 The AOCS Unit Framelet
15.1 Abstract Unit Model
15.2 The AocsUnit Class
15.2.1 The AOCS Unit Housekeeping and Functional Interfaces
15.3 Unit Triggers
15.4 Hardware Unit Components
15.5 Fictitious AOCS Units
15.5.1 The Fictitious Unit Design Pattern
15.6 Implementation Case Example
15.7 Reusability
16 The Reconfiguration Management Framelet
16.1 Some Definitions
16.2 The Reconfiguration Management Design Pattern
16.2.1 Intersection and Nesting of Reconfiguration Groups
16.2.2 Direct Access to Redundant Components
16.2.3 Preservation of Configuration Data
16.3 Reusability
17 The Manoeuvre Management Framelet
17.1 Manoeuvre Components
17.2 The Manoeuvre Design Pattern
17.3 Manoeuvre Initiation
17.4 Alternative Solution
17.5 Reusability
18 The Failure Detection Management Framelet
18.1 Overall Approach
18.2 Failure Detection Checks
18.2.1 Consistency Checks
18.2.2 Property Monitoring
18.3 The Failure Detection Design Pattern
18.4 Alternative Approaches
18.5 Failure Isolation
18.6 Reusability
19 The Failure Recovery Management Framelet
19.1 Failure Recovery Actions
19.2 Failure Recovery Strategy
19.3 Failure Recovery Design Pattern
19.4 Implementation Case Example – 1
19.5 Implementation Case Example – 2
19.6 Alternative Implementation
19.7 Reusability
20 The Telecommand Management Framelet
20.1 The Telecommand Management Design Pattern
20.2 The Telecommand Transaction Design Pattern
20.3 Telecommand Loading
20.3.1 Implementation Considerations
20.4 Implementation Case Example
20.5 Reusability
21 The Telemetry Management Framelet
21.1 The Telemetry Management Design Pattern
21.2 Implementation Case Example
21.3 Functionality List Example
21.4 Alternative Implementation
21.5 Reusability
22 The Controller Management Framelet
22.1 The Controller Design Pattern
22.2 The Controller Abstraction
22.3 Implementation Case Example
22.4 Reusability
23 The Framework Instantiation Process
23.1 Step-by-Step Instantiation
23.2 Framework Overheads
Appendix
References
Index


πŸ“œ SIMILAR VOLUMES


Software Frameworks and Embedded Control
✍ Alessandro Pasetti (eds.) πŸ“‚ Library πŸ“… 2002 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources. Recent hardware advances, however, have changed this picture.<BR>This book

Software Verification (Lecture Notes in
✍ Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<span>This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14</span><span><sup>th</sup></span><span> International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pande

Reflection and Software Engineering (Lec
✍ Walter Cazzola (editor), Robert J. Stroud (editor), Francesco Tisato (editor) πŸ“‚ Library πŸ“… 2000 πŸ› Springer 🌐 English

<span>This volume represents a rst attempt to bring together ideas from two pre- ously unrelated research areas, namely Software Engineering and Computational Re?ection, and to evaluate the bene ts that each can bring to the other. Computational re?ection, or for short re?ection, is quite a young di

Software Verification and Formal Methods
✍ Omri Isac (editor), Radoslav Ivanov (editor), Guy Katz (editor), Nina Narodytska πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<span>This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in J

Learning Technologies and Systems (Lectu
✍ Chaoyi Pang (editor), Yunjun Gao (editor), Guanliang Chen (editor), Elvira Popes πŸ“‚ Library πŸ“… 2021 πŸ› Springer 🌐 English

<span>This book constitutes the refereed conference proceedings of the 19th International Conference on Web-Based Learning, ICWL 2020, and 5th International Symposium on Emerging Technologies for Education, SETE 2020, held in Ningbo, China in October 2020.</span><p><span>Together for the ICWL 2020 C

Learning Technologies and Systems (Lectu
✍ Carina S. GonzΓ‘lez-GonzΓ‘lez (editor), Baltasar FernΓ‘ndez-ManjΓ³n (editor), Freder πŸ“‚ Library πŸ“… 2023 πŸ› Springer 🌐 English

<p><span>This book constitutes the refereed conference proceedings of the 21st International Conference on Web-Based Learning, ICWL 2022 and 7th International Symposium on Emerging Technologies for Education, SETE 2022, held in Tenerife, Spain in November 21–23, 2022.</span></p><span><br> The 45 ful