共 50 条
- [41] Automatic generation of Markov chain usage models from real-time software UML models [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 22 - 31
- [42] Automated generation of explicit connectors for component based hardware/software interaction in embedded real-time systems [J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3734 - +
- [43] Mutation-based simulation test data generation for testing complex real-time software [J]. 40TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2007, : 73 - 80
- [44] An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study [J]. SOFTWARE ENGINEERING AND METHODOLOGY FOR EMERGING DOMAINS, 2016, 675 : 19 - 34
- [45] UML-Based Development of Embedded Real-Time Software on Multi-Core in Practice: Lessons Learned and Future Perspectives [J]. IEEE ACCESS, 2016, 4 : 6528 - 6540
- [46] eNGene: an ARM based embedded real-time software GNSS receiver [J]. PROCEEDINGS OF THE 28TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2015), 2015, : 3178 - 3187
- [47] Verifying Liveness and Real-Time of OS-Based Embedded Software [J]. 2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 679 - 688
- [48] Enabling Component-Based Design for Embedded Real-Time Software [J]. JOURNAL OF COMPUTERS, 2009, 4 (12) : 1309 - 1321
- [49] Research on Real-Time Embedded Software Scheduling Model Based on EDF [J]. IEEE ACCESS, 2020, 8 : 20058 - 20066
- [50] Software behavior description of real-time embedded systems in Component Based Software Development [J]. ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 307 - 311