Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-Time Software from Datasheet-based Inputs
- Author(s):
- Birk, M. ( Kayser-Threde, Germany )
- Brammer, U. ( Kayser-Threde, Germany )
- Ziegler, M. ( Kayser-Threde, Germany )
- Lattner, K. ( Kayser-Threde, Germany )
- Gerlich, R. ( BSSE System & Soft ware Engineering, Germany )
- Publication title:
- Proceedings DASIA 2000 : DAta Systems in Aerospace, 22-26 May 2000, Montreal, Canada
- Title of ser.:
- ESA SP
- Ser. no.:
- 457
- Pub. Year:
- 2000
- Page(from):
- 145
- Page(to):
- 150
- Pages:
- 6
- Pub. info.:
- Noordwijk, The Netherlands: ESA Publications Division
- ISSN:
- 03796566
- ISBN:
- 9789290926696 [9290926694]
- Language:
- English
- Call no.:
- E11690/457
- Type:
- Conference Proceedings
Similar Items:
|
ESA Publications Division |
7
Conference Proceedings
Potentials of Constraint-Based Methods in Software Verification and Validation
ESA Communications |
|
2
Conference Proceedings
Benchmarks on Automated System and Software Generation: Higher Flexibility, Increased Productivity and Shorter Time-To-Market by ScaPable Software
ESA Publications Division |
ESA Publications Division |
|
ESA Communications |
ESA Communications |
|
4
Conference Proceedings
Experience with Validation by Simulation, Automated Code Generation and Integration
ESA Publications Division |
10
Conference Proceedings
Automated Verification of Code Generated from Models: Comparing Specifications with Observations
ESA Communications |
|
ESA Publications Division |
ESA Publications Division |
|
ESA Publications Division |
12
Conference Proceedings
Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance
ESA Publications Division |