Correct-by-construction design of aircraft electric power systems

10th AIAA Aviation Technology, Integration and Operations Conference 2010, ATIO 2010

Volumn 3, Issue , 2010, Pages

  Pinto, Alessandro ^a   Becz, Sandor ^b   Reeve, Hayden M ^c  

^a Embedded Systems and Networks Group   (United States)

^b Lenze SE ^*  (United States)

^c UNITED TECHNOLOGIES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION RULE; CORRECT-BY-CONSTRUCTION DESIGN; DESIGN SPACE EXPLORATION; OPTIMIZATION PROBLEMS; POWER DISTRIBUTION SYSTEM; REFINEMENT STEP; TOPOLOGY DESIGN;

AVIATION; ELECTRIC LOAD DISTRIBUTION; ELECTRIC POWER SYSTEMS; OPTIMIZATION; SPECIFICATIONS;

DESIGN;

EID: 84878433770     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2010-9263     Document Type: Conference Paper

References (14)

1. Sangiovanni Vincentelli, A., Carloni, L., De Bernardinis, F., and Sgroi, M., "Benefits and Challenges for Platform-Based Design, Proceedings of DAC, June 2004, pp. 409-414.
2. Moir, I. and Seabridge, A. G., Aircraft Systems: Mechanical, Electrical and Avionics Subsystems Integration, AIAA Education Series, 2008.
3. IBM, "Rational DOORS,.
4. Steward, D. V., "The Design Structure System: A Method for Managing the Design of Complex Systems, IEEE Transactions on Engineering Management, Vol. 28, No. 3, 1981, pp. 71-74.
5. Browning, T. R., Applying the design structure matrix to system decomposition and integration problems: a review and new directions, Engineering Management, IEEE Transactions on, Vol. 48, No. 3, August 2002, pp. 292-306.
6. Simmons, W. L., A framework for decision support in systems architecting, Ph.D. thesis, Massachusetts Institute of Technology, 2008.
7. Pinto, A., Bonivento, A., Vincentelli, A. S., Passerone, R., and Sgroi, M., "System-Level Design Paradigms: Platform- Based Design and Communication Synthesis, ACM Trans. on Embedded Computing Systems, Vol. 5, No. 5, May 2006.
8. Pinto, A., Carloni, L. P., and Vincentelli, A. L. S., "A Methodology for Constraint-Driven Synthesis of On-Chip Com- munications, IEEE Transactions on Computer Aided Design, Vol. 29, No. 3, March 2009.
9. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., and Sangiovanni-Vincentelli, A., "Metropolis: An Integrated Electronic System Design Environment, Computer, Vol. 36, 2003, pp. 45-52.
10. Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zeng, H., and Zhu, Q., "A Next-Generation Design Framework for Platform-Based Design, Conference on Using Hardware Design and Verification Languages (DVCon), 2007.
11. Alexander, P., System Level Design with Rosetta (Systems on Silicon), Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006.
12. Aerospace, S., Architecture Analysis and Design Language (AADL), SAE, January 2009.
13. OMG, OMG SysML v. 1.1, November 2008.
14. Weilkiens, T., Systems Engineering with SysML/UML: Modeling, Analysis, Design, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008.