共 50 条
- [1] Specification for SystemC-AADL interoperability PROCEEDINGS OF THE FIFTH WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSTEMS, 2007, : 77 - 87
- [2] Formal schedulability analysis and simulation for AADL PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2008, : 429 - +
- [4] Functional Validation of AADL Models via Model Transformation to SystemC with ATL PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 13 - 18
- [6] Safety, Dependability and Performance Analysis of Extended AADL Models COMPUTER JOURNAL, 2011, 54 (05): : 754 - 775
- [7] The simulation semantics of SystemC DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 64 - 70
- [8] System-level performance analysis in SystemC DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 378 - 383
- [9] Powerline LonTalk protocol performance analysis in SystemC VLSI CIRCUITS AND SYSTEMS III, 2007, 6590
- [10] Hybrid Analysis of SystemC Models for Fast and Accurate Parallel Simulation 2017 22ND ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2017, : 226 - 231