Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916380759031808 |
|---|---|
| author | Rouquette, Nicolas Pinto, Alessandro Incer, Inigo |
| author_facet | Rouquette, Nicolas Pinto, Alessandro Incer, Inigo |
| contents | We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assume-guarantee specifications. Performing algebraic contract operations with Pacti allows us to relate local component specifications to that of the system. Applications to two aerospace case studies (the design of spacecraft to satisfy a rendezvous mission and the design of the thermal management system of a prototypical aircraft) show that this methodology provides engineers with an agile, early analysis and exploration process. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_02218 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts Rouquette, Nicolas Pinto, Alessandro Incer, Inigo Systems and Control We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. Components in a system are abstracted into assume-guarantee specifications. Performing algebraic contract operations with Pacti allows us to relate local component specifications to that of the system. Applications to two aerospace case studies (the design of spacecraft to satisfy a rendezvous mission and the design of the thermal management system of a prototypical aircraft) show that this methodology provides engineers with an agile, early analysis and exploration process. |
| title | Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2409.02218 |