Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Nicolas Rouquette"'
Autor:
Maged Elaasar, Nicolas Rouquette, Steven Jenkins, Alejandro Jimenez, David A. Wagner, So Young Kim-Castet
Publikováno v:
2020 IEEE Aerospace Conference.
In this paper we describe a system called the Computer Aided Engineering for Spacecraft System Architectures Tool Suite, or CAESAR for short, a platform for enabling model-based system engineering (MBSE). CAESAR recognizes that engineers are already
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c823c8ee6923d516576c04a5c1b348a0
https://doi.org/10.1109/aero47225.2020.9172630
https://doi.org/10.1109/aero47225.2020.9172630
Autor:
Nicolas Rouquette
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686
ISoLA (2)
ISoLA (2)
This paper advocates for a unification of modeling & programming from the perspective of normalized, implementation-neutral database schemas: representing programs and models in terms of irreducible and independent tables. This idea departs from the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d65e26ec6feb6427502f9ae3269e148c
https://doi.org/10.1007/978-3-319-47169-3_8
https://doi.org/10.1007/978-3-319-47169-3_8
Autor:
Peter Fritzson, Yves Bernard, Sanford Friedenthal, Wladimir Schamai, Roger Burkhart, Nicolas Rouquette, Christiaan J. J. Paredis, Hans-Peter de Koning
Publikováno v:
INCOSE International Symposium. 20:709-722
This paper provides an overview of the formal trans formation between the two complementary languages: OMG SysML TM and Modelica. SysML is a standardized general pur pose graphical modeling language for capturing complex system descriptions in terms
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::284ba984e6407b62592dd759cb3ba91c
https://doi.org/10.1002/j.2334-5837.2010.tb01099.x
https://doi.org/10.1002/j.2334-5837.2010.tb01099.x
Autor:
Jean-Francois Castet, Robert Karban, Aleksandr A. Kerzhner, Seung Chung, D. Dvorak, Kenneth Donahue, Matthew L. Rozek, J. Steven Jenkins, David A. Wagner, Michel D. Ingham, Nicolas Rouquette
Publikováno v:
AIAA Infotech @ Aerospace.
This paper provides an approach to capture state-based behavior of elements, that is, the specification of their state evolution in time, and the interactions amongst them. Elements can be components (e.g., sensors, actuators) or environments, and ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86805396ffb960e5e6caf64c73c1ccdb
https://doi.org/10.2514/6.2015-1115
https://doi.org/10.2514/6.2015-1115
Publikováno v:
Managing Requirements Knowledge ISBN: 9783642344183
Managing Requirements Knowledge
Managing Requirements Knowledge
This chapter reports results from two recent studies of how operational experience with mission-critical product lines can enhance knowledge management for use with their future products. The challenge was how to propagate new requirements knowledge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e913e3947c0fc587fd4500e3de540382
https://doi.org/10.1007/978-3-642-34419-0_3
https://doi.org/10.1007/978-3-642-34419-0_3
Autor:
Steven Jenkins, Michel D. Ingham, Robert Karban, Matthew B. Bennett, David A. Wagner, Nicolas Rouquette
Publikováno v:
2012 IEEE Aerospace Conference.
State Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of contr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58a2039dc4b4a48d4d972c89b2515da6
https://doi.org/10.1109/aero.2012.6187335
https://doi.org/10.1109/aero.2012.6187335
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642161285
Model Driven Engineering Languages and Systems
Model Driven Engineering Languages and Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2db08d92a422cf8fd02d4ebc377eb69
https://doi.org/10.1007/978-3-642-16129-2
https://doi.org/10.1007/978-3-642-16129-2
Autor:
Robyn R. Lutz, Nicolas Rouquette
Publikováno v:
MARK@RE
In a recent study of a product line, we found that the defect reports both (1) captured new requirements information and (2) implicated undocumented, tacit requirements information in the occurrence of the defects. We report four types of requirement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff8d23012ed1b5b60ba59db471293f4c
https://doi.org/10.1109/mark.2009.13
https://doi.org/10.1109/mark.2009.13
Publikováno v:
ECBS
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophistication of robotic spacecraft has skyrocketed the complexity and cost of it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea6111c2885697933afa3c8399a010d7
https://doi.org/10.1109/ecbs.2009.12
https://doi.org/10.1109/ecbs.2009.12
Publikováno v:
Autonomic Communication ISBN: 9780387097527
Future space missions such as theMars Science Laboratory demand the engineering of some of the most complex man-rated autonomous software systems. According to some recent estimates, the certification cost for mission-critical software exceeds its de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9713f3594d134aaf6650f1713b654b4
https://doi.org/10.1007/978-0-387-09753-4_9
https://doi.org/10.1007/978-0-387-09753-4_9