Studies

[S1]	Gove, R., Heinzman, J.L.: Safety criteria and model for mission-critical embedded software systems. In: Proceedings of the Sixth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security (COMPASS ’91). pp. 69–73. IEEE (1991), https://doi.org/10.1109/CMPASS.1991.161041
[S2]	Fidge, C.J., Lister, A.M.: Disciplined approach to real-time systems design. Information and Software Technology 34(9), 603–610 (1992), https://doi.org/10.1016/0950-5849(92)90137-e
[S3]	Lutz, R.R.: Analyzing software requirements errors in safety-critical, embedded systems. In: Proceedings of First IEEE International Symposium on Requirements Engineering (RE ’93). pp. 126–133. IEEE (1993), https://doi.org/10.1109/ISRE.1993.324825
[S4]	Kelly, J.C., Covington, R.G.: Results of a formal methods demonstration project. In: Proceedings of the WESCON ’94 Conference. pp. 62–66. IEEE (1994), https://doi.org/10.1109/WESCON.1994.403627
[S5]	Vardanega, T.: Experience with the development of hard real-time embedded Ada software. In: Proceedings of the 16th International Conference on Software Engineering (ICSE ’94). pp. 301–308. IEEE Computer Society Press (1994), https://doi.org/10.1109/ICSE.1994.296792
[S6]	Corbett, J.C.: Timing analysis of Ada tasking programs. IEEE Transactions on Software Engineering 22(7), 461–483 (1996), https://doi.org/10.1109/32.538604
[S7]	Baufreton, P., Méhaut, X., Rutten, É.: Embedded systems in avionics and the SACRES approach. In: Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP ’97), pp. 311–320. Springer (1997), https://doi.org/10.1007/978-1-4471-0997-6_24
[S8]	Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proceedings of the IEEE 85(3), 366–390 (1997), https://doi.org/10.1109/5.558710
[S9]	Heimdahl, M.P., Thompson, J.M.: Specification and analysis of system level inter-component communication. In: Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM ’97). pp. 192–201. IEEE (1997), https://doi.org/10.1109/2.666842
[S10]	Büssow, R., Geisler, R., Klar, M.: Specifying safety-critical embedded systems with statecharts and Z: A case study. In: Fundamental Approaches to Software Engineering, pp. 71–87. Springer (1998), https://doi.org/10.1007/bfb0053584
[S11]	Dal Cin, M.: Modeling fault-tolerant system behavior. In: Systems: Theory and Practice, pp. 213–234. Springer (1998), https://doi.org/10.1007/978-3-7091-6451-8_10
[S12]	Hollingworth, K., Saeed, A.: CoRSA-A Constraint Based Approach to Requirements and Safety Analysis. In: Computer Safety, Reliability and Security, pp. 3–15. Springer (1998), https://doi.org/10.1007/3-540-49646-7_1
[S13]	Muscettola, N., Nayak, P.P., Pell, B., Williams, B.C.: Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence 103(1), 5–47 (1998), https://doi.org/10.1016/s0004-3702(98)00068-x
[S14]	Von Hanxleden, R., Botorabi, A., Kupczyk, S.: A codesign approach for safety-critical automotive applications. IEEE Micro (5), 66–79 (1998), https://doi.org/10.1109/40.735945
[S15]	Winter, K., Santen, T., Heisel, M.: An agenda for specifying software components with complex data models. In: Computer Safety, Reliability and Security, pp. 16–31. Springer (1998), https://doi.org/10.1007/3-540-49646-7_2
[S16]	Bienmüller, T., Brockmeyer, U., Damm, W., Döhmen, G., Eßmann, C., Holberg, H.J., Hungar, H., Josko, B., Schlör, R., Wittich, G., et al.: Formal verification of an avionics application using abstraction and symbolic model checking. In: Towards System Safety, pp. 150–173. Springer (1999), https://doi.org/10.1007/978-1-4471-0823-8_10
[S17]	Bryant, S.E., Key, K.: Redefining the process for development of embedded software. In: Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (CACSD ’99). pp. 261–266. IEEE (1999), https://doi.org/10.1109/CACSD.1999.808658
[S18]	Cin, M.D., Huszerl, G., Kosmidis, K.: Quantitative evaluation of dependability critical systems based on guarded statechart models. In: Proceedings of the Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE ’99). pp. 37–45. IEEE (1999), https://doi.org/10.1109/HASE.1999.809473
[S19]	Heiner, M., Heisel, M.: Modeling safety-critical systems with Z and Petri nets. In: Computer Safety, Reliability and Security, pp. 361–374. Springer (1999), https://doi.org/10.1007/3-540-48249-0_31
[S20]	Kandasamy, N., Hayes, J.P., Murray, B.T.: Tolerating transient faults in statically scheduled safety-critical embedded systems. In: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS ’99). pp. 212–221. IEEE (1999), https://doi.org/10.1109/RELDIS.1999.805097
[S21]	Thompson, J.M., Heimdahl, M.P., Miller, S.P.: Specification-Based Prototyping for Embedded Systems. In: Proceedings of the Seventh Joint Meeting of The European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC/FSE ’99). pp. 163–179. Springer (1999), https://doi.org/10.1007/3-540-48166-4_11
[S22]	Lajolo, M., Rebaudengo, M., Roerda, M.S., Violante, M., Lavagno, L.: Evaluating system dependability in a co-design framework. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE ’00). pp. 586–590. ACM (2000), https://doi.org/10.1145/343647.343861
[S23]	Seward, D., Pace, C., Morrey, R., Sommerville, I.: Safety analysis of autonomous excavator functionality. Reliability Engineering & System Safety 70(1), 29–39 (2000), https://doi.org/10.1016/s0951-8320(00)00045-4
[S24]	Claesson, V., Lönn, H., Suri, N.: Efficient TDMA synchronization for distributed embedded systems. In: Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems (SRDS ’01). pp. 198–201. IEEE (2001), https://doi.org/10.1109/RELDIS.2001.970769
[S25]	Doche, M., Vernier-Mounier, I., Kordon, F.: A modular approach to the specification and validation of an electrical flight control system. In: Proceedings ot the International Symposium of Formal Methods Europe (FME ’01), pp. 590–610. Springer (2001), https://doi.org/10.1007/3-540-45251-6_34
[S26]	Grieskamp, W., Heisel, M., Dörr, H.: Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. Science of Computer Programming 40(1), 31–57 (2001), https://doi.org/10.1016/s0167-6423(00)00024-1
[S27]	Liu, J., Chou, P.H., Bagherzadeh, N., Kurdahi, F.: Power-aware scheduling under timing constraints for mission-critical embedded systems. In: Proceedings of the 38th Annual Design Automation Conference (DAC’01). pp. 840–845. ACM (2001), https://doi.org/10.1145/378239.379076
[S28]	Winkelmann, K.: Formal Methods in Designing Embedded Systems— the SACRES Experience. Formal Methods in System Design 19(1), 81–110 (2001), https://doi.org/10.1023/A:1011295931367
[S29]	Chou, P.H., Liu, J., Li, D., Bagherzadeh, N.: Impacct: Methodology and tools for power-aware embedded systems. Design Automation for Embedded Systems 7(3), 205–232 (2002), https://doi.org/10.1023/A:1019730322551
[S30]	Garriou, D.: Symbolic simulation of synchronous programs. Electronic Notes in Theoretical Computer Science 65(5), 11–18 (2002), https://doi.org/10.1016/s1571-0661(05)80436-0
[S31]	Karsai, G., Neema, S., Abbott, B., Sharp, D.: A modeling language and its supporting tools for avionics systems. In: Proceedings of the 21st Digital Avionics Systems Conference (DASC ’02). vol. 1, pp. 6A3–1. IEEE (2002), https://doi.org/10.1109/DASC.2002.1067981
[S32]	Bate, I., Burns, A.: An integrated approach to scheduling in safety-critical embedded control systems. Real-Time Systems 25(1), 5–37 (2003), https://doi.org/10.1023/A:1022920502619
[S33]	Choi, Y., Heimdahl, M.: Model checking software requirement specifications using domain reduction abstraction. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE ’03). pp. 314–317. IEEE (2003), https://doi.org/10.1109/ASE.2003.1240328
[S34]	Dajani-Brown, S., Cofer, D., Hartmann, G., Pratt, S.: Formal modeling and analysis of an avionics triplex sensor voter. In: Model Checking Software, pp. 34–48. Springer (2003), https://doi.org/10.1007/3-540-44829-2_3
[S35]	Kopetz, H., Bauer, G.: The time-triggered architecture. Proceedings of the IEEE 91(1), 112–126 (2003), https://doi.org/10.1109/jproc.2002.805821
[S36]	Obermaisser, R., Peti, P.: A framework for rapid application development of distributed embedded real-time systems. In: Proceedings of the 15th IEEE International Conference on Computer as a Tool (EUROCON ’03). vol. 1, pp. 80–84. IEEE (2003), https://doi.org/10.1109/EURCON.2003.1247983
[S37]	Tsai, W.T., Yu, L., Zhu, F., Paul, R.: Rapid verification of embedded systems using patterns. In: Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC ’03). pp. 466–471. IEEE (2003), https://doi.org/10.1109/CMPSAC.2003.1245381
[S38]	Wang, L.: Fault handling in embedded industrial measurement and control systems: issues and a case study. In: Proceedings of the 2003 IEEE Systems Readiness Technology Conference (AUTOTESTCON ’03). pp. 713–719. IEEE (2003), https://doi.org/10.1109/AUTEST.2003.1243657
[S39]	Yang, S., Sang, N., Xiong, G.: Integrated safety critical systems on reliable real time network. In: Proceedings of the Fourth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT ’03). pp. 66–70. IEEE (2003), https://doi.org/10.1109/PDCAT.2003.1236260
[S40]	Zhang, Y., Chakrabarty, K.: Fault recovery based on checkpointing for hard real-time embedded systems. In: Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT ’03). pp. 320–327. IEEE (2003), https://doi.org/10.1109/DFTVS.2003.1250127
[S41]	Coyle, E., Maguire, L., McGinnity, T.: Self-repair of embedded systems. Engineering Applications of Artificial Intelligence 17(1), 1–9 (2004), https://doi.org/10.1016/j.engappai.2003.11.009
[S42]	Dion, B., Le Sergent, T., Martin, B., Griebel, H.: Model-based development for time-triggered architectures. In: Proceedings of the 23rd Digital Avionics Systems Conference (DASC ’04). vol. 2, pp. 6–D. IEEE (2004), https://doi.org/10.1109/DASC.2004.1390733
[S43]	Durrieu, G., Laurent, O., Seguin, C., Wiels, V.: Formal proof and test case generation for critical embedded systems using scade. In: Building the Information Society, pp. 499–504. Springer (2004), https://doi.org/10.1007/978-1-4020-8157-6_44
[S44]	Gopalakrishnan, S., Sha, L., Caccamo, M.: Hard real-time communication in bus-based networks. In: Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS ’04). pp. 405–414. IEEE (2004), https://doi.org/10.1109/REAL.2004.24
[S45]	Hansson, H., Åkerholm, M., Crnkovic, I., Törngren, M.: SaveCCM-a component model for safety-critical real-time systems. In: Proceedings os the 30th Euromicro Conference. pp. 627–635. IEEE (2004), https://doi.org/10.1109/eurmic.2004.1333431
[S46]	Konrad, S., Cheng, B.H., Campbell, L.A.: Object analysis patterns for embedded systems. IEEE Transactions on Software Engineering 30(12), 970–992 (2004), https://doi.org/10.1109/tse.2004.102
[S47]	Lavagno, L., Di Natale, M., Ferrari, A., Giusto, P.: SoftContract: model-based design of error-checking code and property monitors. In: UML Modeling Languages and Applications, pp. 150–162. Springer (2004), https://doi.org/10.1007/978-3-540-31797-5_16
[S48]	Maheshwari, A., Burleson, W., Tessier, R.: Trading off transient fault tolerance and power consumption in deep submicron (DSM) VLSI circuits. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 12(3), 299–311 (2004), https://doi.org/10.1109/tvlsi.2004.824302
[S49]	Morris, J., Kroening, D., Koopman, P.: Fault tolerance tradeoffs in moving from decentralized to centralized embedded systems. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN ’93). pp. 377–386. IEEE (2004), https://doi.org/10.1109/dsn.2004.1311907
[S50]	Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining formal methods and safety analysis–the ForMoSA approach. In: Integration of Software Specification Techniques for Applications in Engineering, pp. 474–493. Springer (2004), https://doi.org/10.1007/978-3-540-27863-4_26
[S51]	Pop, P., Eles, P., Peng, Z., Pop, T.: Analysis and optimization of distributed real-time embedded systems. In: ACM Transactions on Design Automation of Electronic Systems (TODAES). vol. 11, pp. 593–625. ACM (2004), https://doi.org/10.1007/978-1-4020-2873-1
[S52]	Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML verification environment. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM ’04). pp. 174–183. IEEE (2004), https://doi.org/10.1109/SEFM.2004.1347518
[S53]	Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Systems 28(2-3), 157–177 (2004), https://doi.org/10.1023/b:time.0000045316.66276.6e
[S54]	Wu, B., Wu, Z., Chen, W.: Component model optimization for distributed real-time embedded software. In: Proceedings of the 2004 IEEE International Conference on Systems, Man and Cybernetics (ICSMC ’04). vol. 2, pp. 1158–1163. IEEE (2004), https://doi.org/10.1109/ICSMC.2004.1399780
[S55]	Zhang, Y., Chakrabarty, K.: Dynamic adaptation for fault tolerance and power management in embedded real-time systems. ACM Transactions on Embedded Computing Systems 3(2), 336–360 (2004), https://doi.org/10.1145/993396.993402
[S56]	Caffall, D.S., Michael, J.B.: Formal methods in a system-of-systems development. In: Proceedings of the 2005 IEEE International Conference on Systems, Man and Cybernetics (ICSMC ’05). vol. 2, pp. 1856–1863. IEEE (2005), https://doi.org/10.1109/ICSMC.2005.1571417
[S57]	de Freitas Francisco, A.L., Rammig, F.J.: Fault-tolerant hard-real-time communication of dynamically reconfigurable, distributed embedded systems. In: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC ’05). pp. 275–283. IEEE (2005), https://doi.org/10.1109/ISORC.2005.27
[S58]	Feiler, P.H., Lewis, B., Vestal, S., Colbert, E.: An overview of the SAE architecture analysis & design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering. In: Architecture Description Languages, pp. 3–15. Springer (2005), https://doi.org/10.1007/0-387-24590-1_1
[S59]	Guerrouat, A., Richter, H.: A formal approach for analysis and testing of reliable embedded systems. Electronic Notes in Theoretical Computer Science 141(3), 91–106 (2005), https://doi.org/10.1016/j.entcs.2005.02.050
[S60]	Hewett, R., Seker, R.: A risk assessment model of embedded software systems. In: Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW ’05). pp. 142–149. IEEE (2005), https://doi.org/10.1109/SEW.2005.16
[S61]	Latronico, E., Koopman, P.: Design time reliability analysis of distributed fault tolerance algorithms. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN ’05). pp. 486–495. IEEE (2005), https://doi.org/10.1109/DSN.2005.38
[S62]	Obermaisser, R.: Ordering messages in virtual CAN networks. In: Proceedings of the 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS ’05). pp. 1–4. IEEE (2005), https://doi.org/10.1109/icecs.2005.4633552
[S63]	Obermaisser, R., Peti, P., Kopetz, H.: Virtual networks in an integrated time-triggered architecture. In: Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS ’05). pp. 241–253. IEEE (2005), https://doi.org/10.1109/WORDS.2005.55
[S64]	Pai, G., Bechta-Dugan, J., Lateef, K.: Bayesian Networks applied to Software IV & V. In: Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW ’05). pp. 293–304. IEEE (2005), https://doi.org/10.1109/SEW.2005.20
[S65]	Peti, P., Obermaisser, R., Tagliabo, F., Marino, A., Cerchio, S.: An integrated architecture for future car generations. In: Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC ’05). pp. 2–13. IEEE (2005), https://doi.org/10.1109/ISORC.2005.12
[S66]	Pop, P., Eles, P., Peng, Z.: Analysis and optimisation of heterogeneous real-time embedded systems. IEE Proceedings - Computers and Digital Techniques 152(2), 130–147 (2005), https://doi.org/10.1049/ip-cdt:20045069
[S67]	Silva, V., Marau, R., Almeida, L., Ferreira, J., Calha, M., Pedreiras, P., Fonseca, J.: Implementing a distributed sensing and actuation system: The CAMBADA robots case study. In: Proceedings of the 10th IEEE Conference on Emerging Technologies and Factory Automation (ETFA ’05). vol. 2, pp. 8–pp. IEEE (2005), https://doi.org/10.1109/ETFA.2005.1612753
[S68]	Tavares, E., Maciel, P., Bessa, A., Barreto, R., Barros, L., Oliveira Jr, M., Lima, R.: A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes. In: Proceedings of the 18th Symposium on Integrated Circuits and Systems Design (SBCCI ’05). pp. 98–103. IEEE (2005), https://doi.org/10.1145/1081081.1081110
[S69]	Benoit, E., Chovin, A., Foulloy, L., Chatenay, A., Mauris, G.: Toward a safe design of CANopen distributed instruments. IEEE Transactions onInstrumentation and Measurement 55(3), 771–777 (2006), https://doi.org/10.1109/tim.2006.873798
[S70]	Buckl, C., Knoll, A., Schrott, G.: Model-based development of fault-tolerant embedded software. In: Proccedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA ’06). pp. 103–110. IEEE (2006), https://doi.org/10.1109/isola.2006.22
[S71]	Choi, K.S., Jung, S.C., Kim, H.J., Bae, D.H., Lee, D.H.: UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development. In: Proceedings of the IASTED International Conference on Software Engineering. vol. 2006, pp. 160–165 (2006)
[S72]	Goldsby, H., Cheng, B.H., Konrad, S., Kamdoum, S.: A visualization framework for the modeling and formal analysis of high assurance systems. In: Model Driven Engineering Languages and Systems, pp. 707–721. Springer (2006), https://doi.org/10.1007/11880240_49
[S73]	Guerrouat, A., Richter, H.: A component-based specification approach for embedded systems using FDTs. ACM SIGSOFT Software Engineering Notes 31(2), 14 (2006), https://doi.org/10.1145/1118537.1123073
[S74]	Miller, S.P., Tribble, A.C., Whalen, M.W., Heimdahl, M.P.: Proving the shalls. International Journal on Software Tools for Technology Transfer 8(4-5), 303–319 (2006), https://doi.org/10.1007/s10009-004-0173-6
[S75]	Obermaisser, R., Peti, P.: A fault hypothesis for integrated architectures. In: Proceedings of the Fourth International Workshop on Intelligent Solutions in Embedded Systems (WISES ’06). pp. 1–18. IEEE (2006), https://doi.org/10.1109/wises.2006.329115
[S76]	Oswald, N.: Towards a conceptual framework-based architecture for unmanned systems. In: Informatics in Control, Automation and Robotics I, pp. 167–177. Springer (2006), https://doi.org/10.1007/1-4020-4543-3_20
[S77]	Ryan, C., Heffernan, D., Leen, G.: Interactive consistency on a time-triggered real-time control network. IEEE Transactions on Industrial Informatics 2(4), 242–254 (2006), https://doi.org/10.1109/tii.2006.885189
[S78]	Schoitsch, E., Althammer, E., Eriksson, H., Vinter, J., Gönczy, L., Pataricza, A., Csertan, G.: Validation and Certification of Safety-Critical Embedded Systems–The DECOS Test Bench. In: Computer Safety, Reliability, and Security, pp. 372–385. Springer (2006), https://doi.org/10.1007/11875567_28
[S79]	Su, H., Hemingway, G., Chen, K., Koo, T.J.: Model-based tool-chain infrastructure for automated analysis of embedded systems. In: Automated Technology for Verification and Analysis, pp. 523–537. Springer (2006), https://doi.org/10.1007/11901914_38
[S80]	Villani, E., Miyagi, P.E., Valette, R.: Landing system verification based on petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems 42(4), 1420–1436 (2006), https://doi.org/10.1109/taes.2006.314582
[S81]	Yang, G., Li, H., Wu, Z.: SmartC: A component-based hierarchical modeling language for automotive electronics. In: Proceedings of the Second IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC ’06). pp. 203–210. IEEE (2006), https://doi.org/10.1109/dasc.2006.45
[S82]	Azevedo, J.L., Cunha, B., Almeida, L.: Hierarchical distributed architectures for autonomous mobile robots: a case study. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation (ETFA ’07). pp. 973–980. IEEE (2007), https://doi.org/10.1109/efta.2007.4416889
[S83]	Banci, M., Fantechi, A., Gnesi, S., Lombardi, G.: Experimenting with diversity in the model driven development of a railway signaling system. In: Proceedings of the Second International Workshop on Engineering Fault Tolerant Systems (EFTS ’07). p. 5. ACM (2007), https://doi.org/10.1145/1316550.1316555
[S84]	Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: A formal description technique for interactive cockpit applications compliant with ARINC specification 661. In: Proceedings of the 12th International Symposium on Industrial Embedded Systems (SIES ’07). pp. 250–257. IEEE (2007), https://doi.org/10.1109/sies.2007.4297342
[S85]	Buckl, C., Regensburger, M., Knoll, A., Schrott, G.: Models for automatic generation of safety-critical real-time systems. In: Proceedings of the Second International Conference on Availability, Reliability and Security (ARES ’07). pp. 580–587. IEEE (2007), https://doi.org/10.1109/ares.2007.106
[S86]	de las Heras, E., Villar, E.: Specification for SystemC-AADL interoperability. In: Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems (WISES ’07). pp. 76–86. IEEE (2007), https://doi.org/10.1109/wises.2007.4408490
[S87]	Gamatié, A., Gautier, T., Guernic, P.L., Talpin, J.P.: Polychronous design of embedded real-time applications. ACM Transactions on Software Engineering and Methodology 16(2), 9 (2007), https://doi.org/10.1145/1217295.1217298
[S88]	Gu, Z., He, X., Yuan, M.: Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking. In: Proceedings of the 44th Annual Design Automation Conference (DAC ’07). pp. 294–299. ACM (2007), https://doi.org/10.1145/1278480.1278556
[S89]	Heitmeyer, C.L., Jeffords, R.D.: Applying a formal requirements method to three NASA systems: Lessons learned. In: Proceedings of the 2007 IEEE Aerospace Conference (AeroConf ’07). pp. 1–10. IEEE (2007), https://doi.org/10.1109/aero.2007.352764
[S90]	Islam, S., Suri, N.: A multi variable optimization approach for the design of integrated dependable real-time embedded systems. In: Embedded and Ubiquitous Computing, pp. 517–530. Springer (2007), https://doi.org/10.1007/978-3-540-77092-3_45
[S91]	Iwu, F., Galloway, A., McDermid, J., Toyn, I.: Integrating safety and formal analyses using UML and PFS. Reliability Engineering & System Safety 92(2), 156–170 (2007), https://doi.org/10.1016/j.ress.2005.11.060
[S92]	Natale, M.D.: Virtual platforms and timing analysis: status, challenges and future directions. In: Proceedings of the 44th ACM/IEEE Design Automation Conference (DAC ’07). pp. 551–555. IEEE (2007), https://doi.org/10.1145/1278480.1278620
[S93]	Nguyen, K.D., Thiagarajan, P., Wong, W.F.: A UML-based design framework for time-triggered applications. In: Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS ’07). pp. 39–48. IEEE (2007), https://doi.org/10.1109/rtss.2007.18
[S94]	Obermaisser, R., Peti, P., Tagliabo, F.: An integrated architecture for future car generations. Real-Time Systems 36(1-2), 101–133 (2007), https://doi.org/10.1007/s11241-007-9015-4
[S95]	Obermaisser, R., Schlager, M.: A Simulation Framework for Virtual Integration of Integrated Systems. In: Proceedings of the International Conference on Computer as a Tool (EUROCON ’07). pp. 2208–2216. IEEE (2007), https://doi.org/10.1109/eurcon.2007.4400256
[S96]	Ponsard, C., Massonet, P., Molderez, J.F., Rifaut, A., van Lamsweerde, A., Van, H.T.: Early verification and validation of mission critical systems. Formal Methods in System Design 30(3), 233–247 (2007), https://doi.org/10.1007/s10703-006-0028-8
[S97]	Rosset, V., Souto, P.F., Vasques, F.: Formal verification of a group membership protocol using model checking. In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, pp. 471–488. Springer (2007), https://doi.org/10.1007/978-3-540-76848-7_34
[S98]	Shukla, S.K., Suhaib, S.M., Mathaikutty, D.A., Talpin, J.P.: On the Polychronous Approach to Embedded Software Design. In: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp. 261–273. Springer (2007), https://doi.org/10.1007/978-1-4020-6254-4_20
[S99]	Squair, M.J.: Safety, software architecture and MIL-STD-1760. In: Proceedings of the 11th Australian Workshop on Safety Critical Systems and Software (SCS ’07). pp. 93–112. Australian Computer Society, Inc. (2007)
[S100]	Wang, J., Liu, S., Qi, Y., Hou, D.: Developing an insulin pump system using the SOFL method. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC ’07). pp. 334–341. IEEE (2007), https://doi.org/10.1109/apsec.2007.41
[S101]	Yang, I., Kim, D., Kang, K., Lee, D., Yoon, K.: Smart Actuator-Based Fault-Tolerant Control for Networked Safety-Critical Embedded Systems. In: Embedded Software and Systems, pp. 615–626. Springer (2007), https://doi.org/10.1007/978-3-540-72685-2_57
[S102]	Åkerholm, M., Carlson, J., Fredriksson, J., Hansson, H., Håkansson, J., Möller, A., Pettersson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software 80(5), 655–667 (2007), https://doi.org/10.1016/j.jss.2006.08.016
[S103]	Althammer, E., Schoitsch, E., Sonneck, G., Eriksson, H., Vinter, J.: Modular certification support— the DECOS concept of generic safety cases. In: Proceedings of the Sixth IEEE International Conference on Industrial Informatics (INDIN ’08). pp. 258–263. IEEE (2008), https://doi.org/10.1109/indin.2008.4618105
[S104]	Aoyama, M., Yoshino, A.: AORE (aspect-oriented requirements engineering) methodology for automotive software product lines. In: Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC ’08). pp. 203–210. IEEE (2008), https://doi.org/10.1109/apsec.2008.59
[S105]	Armoush, A., Salewski, F., Kowalewski, S.: Effective pattern representation for safety critical embedded systems. In: Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE ’08), pp. 91–97. IEEE (2008), https://doi.org/10.1109/csse.2008.739
[S106]	Armoush, A., Salewski, F., Kowalewski, S.: Recovery block with backup voting: A new pattern with extended representation for safety critical embedded systems. In: Proceedings of the 11th International Conference on Information Technology (ICIT ’08). pp. 232–237. IEEE (2008), https://doi.org/10.1109/icit.2008.60
[S107]	Balp, H., Borde, É., Haïk, G.: Automatic composition of AADL models for the verification of critical component-based embedded systems. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’08). pp. 269–274. IEEE (2008), https://doi.org/10.1109/iceccs.2008.26
[S108]	Barreto, R., Maciel, P., Tavares, E., Freitas, R.D., Oliveira, M., Lima, R.M.: A time Petri net-based method for embedded hard real-time software synthesis. Design Automation for Embedded Systems 12(1-2), 31–62 (2008), https://doi.org/10.1007/s10617-007-9011-x
[S109]	Delanote, D., Van Baelen, S., Joosen, W., Berbers, Y.: Using AADL to model a protocol stack. In: Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’08). pp. 277–281. IEEE (2008), https://doi.org/10.1109/iceccs.2008.12
[S110]	Giese, M., Mistrzyk, T., Pfau, A., Szwillus, G., von Detten, M.: Amboss: A task modeling approach for safety-critical systems. In: Engineering Interactive Systems, pp. 98–109. Springer (2008), https://doi.org/10.1007/978-3-540-85992-5_8
[S111]	Hall, B., Paulitsch, M., Benson, D., Behbahani, A.: Jet engine control using ethernet with a BRAIN. In: Proceedings of the 44th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit. vol. 5291 (2008), https://doi.org/10.2514/6.2008-5291
[S112]	Insaurralde, C.C., Seminario, M.A., Jiménez, J.F., Giron-Sierra, J.M.: Model-based design analysis of an Avionics Fuel Distributed Control System. In: Proceedings of the IEEE/AIAA 27th Digital Avionics Systems Conference (DASC ’08). pp. 5–C. IEEE (2008), https://doi.org/10.1109/dasc.2008.4702856
[S113]	Liu, X., Liu, X., Li, J., Zhao, Y., Wang, Z.: Refinement of UML Interaction for Correct Embedded System Design. In: Proceedings of the Ninth International Conference for Young Computer Scientists (ICYCS ’08). pp. 1156–1162. IEEE (2008), https://doi.org/10.1109/icycs.2008.251
[S114]	Liu, Y., Wong, T.: Component architecture and modeling for microkernel-based embedded system development. In: Proceedings of the 19th Australian Conference on Software Engineering (ASWEC ’08). pp. 190–199. IEEE (2008), https://doi.org/10.1109/aswec.2008.4483207
[S115]	Ma, Y., Talpin, J.P., Gautier, T.: Virtual prototyping AADL architectures in a polychronous model of computation. In: Proceedings of the 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE ’08). pp. 139–148. IEEE (2008), https://doi.org/10.1109/memcod.2008.4547701
[S116]	Pascoal, E., Rufino, J., Schoofs, T., Windsor, J.: AMOBA-ARINC 653 simulator for modular based space applications. Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA ’08) 10, 2 (2008)
[S117]	Pinello, C., Carloni, L.P., Sangiovanni-Vincentelli, A.L.: Fault-tolerant distributed deployment of embedded control software. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27(5), 906–919 (2008), https://doi.org/10.1109/tcad.2008.917971
[S118]	Sakurai, K., Bokor, P., Suri, N.: Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications. In: Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE ’08). pp. 261–270. IEEE (2008), https://doi.org/10.1109/hase.2008.45
[S119]	Sveda, M., Vrba, R.: Meta-Design Support for Safe and Secure Networked Embedded Systems. In: Proceedings of the Third International Conference on Systems (ICONS ’08). pp. 69–74. IEEE (2008), https://doi.org/10.1109/icons.2008.52
[S120]	Yi, Z., Cai, W., Yue, W.: Adaptive safety critical middleware for distributed and embedded safety critical system. In: Proceedings of the Fourth International Conference on Networked Computing and Advanced Information Management (NCM ’08). vol. 1, pp. 162–166. IEEE (2008), https://doi.org/10.1109/NCM.2008.58
[S121]	Al-Nayeem, A., Sun, M., Qiu, X., Sha, L., Miller, S.P., Cofer, D.D.: A formal architecture pattern for real-time distributed systems. In: Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS ’09). pp. 161–170. IEEE (2009), https://doi.org/10.1109/rtss.2009.50
[S122]	Armoush, A., Beckschulze, E., Kowalewski, S.: Safety assessment of design patterns for safety-critical embedded systems. In: Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA ’09). pp. 523–527. IEEE (2009), https://doi.org/10.1109/seaa.2009.12
[S123]	Ayrault, P., Hardin, T., Pessaux, F.: Development Life-cycle of Critical Software Under FoCaL. Electronic Notes in Theoretical Computer Science 243, 15–31 (2009), https://doi.org/10.1016/j.entcs.2009.07.003
[S124]	Bak, S., Chivukula, D.K., Adekunle, O., Sun, M., Caccamo, M., Sha, L.: The system-level simplex architecture for improved real-time embedded system safety. In: Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS ’09). pp. 99–107. IEEE (2009), https://doi.org/10.1109/rtas.2009.20
[S125]	Barranco, M., Proenza, J., Almeida, L.: Boosting the robustness of controller area networks: CANcentrate and ReCANcentrate. Computer 42(5), 66–73 (2009), https://doi.org/10.1109/mc.2009.145
[S126]	Bochot, T., Virelizier, P., Waeselynck, H., Wiels, V.: Model checking flight control systems: The Airbus experience. In: Proceedings of the 31st International Conference on Software Engineering - Companion Volume (ICSE-Companion ’09). vol. 2009, pp. 18–27 (2009), https://doi.org/10.1109/icse-companion.2009.5070960
[S127]	Borde, E., Haïk, G., Pautet, L.: Mode-based reconfiguration of critical software component architectures. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE ’09). pp. 1160–1165. IEEE (2009), https://doi.org/10.1109/date.2009.5090838
[S128]	Domis, D., Trapp, M.: Component-based abstraction in fault tree analysis. In: Computer Safety, Reliability, and Security, pp. 297–310. Springer (2009), https://doi.org/10.1007/978-3-642-04468-7_24
[S129]	Gustafsson, J., Altenbernd, P., Ermedahl, A., Lisper, B.: Approximate worst-case execution time analysis for early stage embedded systems development. In: Software Technologies for Embedded and Ubiquitous Systems, pp. 308–319. Springer (2009), https://doi.org/10.1007/978-3-642-10265-3_28
[S130]	Huber, B., Obermaisser, R.: Platform Modeling in Safety-Critical Embedded Systems. In: Intelligent Technical Systems, pp. 145–158. Springer (2009), https://doi.org/10.1007/978-1-4020-9823-9_11
[S131]	Islam, S., Suri, N., Balogh, A., Csertán, G., Pataricza, A.: An optimization based design for integrated dependable real-time embedded systems. Design Automation for Embedded Systems 13(4), 245–285 (2009), https://doi.org/10.1007/s10617-009-9041-7
[S132]	Izosimov, V., Polian, I., Pop, P., Eles, P., Peng, Z.: Analysis and optimization of fault-tolerant embedded systems with hardened processors. In: Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE ’09). pp. 682–687. IEEE (2009), https://doi.org/10.1109/DATE.2009.5090752
[S133]	Kim, J.E., Rogalla, O., Kramer, S., Hamann, A.: Extracting, specifying and predicting software system properties in component based real-time embedded software development. In: Proceedings of the 31st International Conference on Software Engineering - Companion Volume (ICSE-Companion ’09). pp. 28–38. IEEE (2009), https://doi.org/10.1109/ICSE-COMPANION.2009.5070961
[S134]	Lasnier, G., Zalila, B., Pautet, L., Hugues, J.: Ocarina: An environment for aadl models analysis and automatic code generation for high integrity applications. In: Proceedings of the 14th International Conference on Reliable Software Technologies (Ada-Europe ’09). pp. 237–250. Springer (2009), https://doi.org/10.1007/978-3-642-01924-1_17
[S135]	Medikonda, B.S., Panchumarthy, S.R.: An approach to modeling software safety in safety-critical systems. Journal of Computer Science 5(4), 311 (2009), https://doi.org/10.3844/jcs.2009.311.322
[S136]	Medikonda, B.S., Panchumarthy, S.R.: A framework for software safety in safety-critical systems. ACM SIGSOFT Software Engineering Notes 34(2), 1–9 (2009), https://doi.org/10.1145/1507195.1507207
[S137]	Miller, S.P., Cofer, D.D., Sha, L., Meseguer, J., Al-Nayeem, A.: Implementing logical synchrony in integrated modular avionics. In: Proceedings of the IEEE/AIAA 28th Digital Avionics Systems Conference (DASC ’09). pp. 1–A. IEEE (2009), https://doi.org/10.1109/dasc.2009.5347579
[S138]	Nanda, M., Rao, S.: A formal method approach to analyze the design of aircraft flight control systems. In: Proceedings of the Third Annual IEEE Systems Conference (SysCon ’09). pp. 64–69. IEEE (2009), https://doi.org/10.1109/systems.2009.4815773
[S139]	Pagano, B., Andrieu, O., Moniot, T., Canou, B., Chailloux, E., Wang, P., Manoury, P., Colaço, J.L.: Experience report: using Objective Caml to develop safety-critical embedded tools in a certification framework. In: ACM Sigplan Notices. vol. 44, pp. 215–220. ACM (2009), https://doi.org/10.1145/1596550.1596582
[S140]	Pellizzoni, R., Meredith, P., Nam, M.Y., Sun, M., Caccamo, M., Sha, L.: Handling mixed-criticality in SoC-based real-time embedded systems. In: Proceedings of the Seventh ACM International Conference on Embedded Software (EMSOFT ’09). pp. 235–244. ACM (2009), https://doi.org/10.1145/1629335.1629367
[S141]	Rosset, V., Souto, P., Vasques, F.: Reliable communication for DuST networks. In: Proceedings of the IEEE Conference on Emerging Technologies & Factory Automation (ETFA ’09). pp. 1–8. IEEE (2009), https://doi.org/10.1109/etfa.2009.5347122
[S142]	Selby, R.W.: Development and Management of Large-Scale Mission-Critical Embedded Software Systems for Robotic Spacecraft. In: Proceedings of the 47th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition. p. 1648 (2009), https://doi.org/10.2514/6.2009-1648
[S143]	Selby, R.W.: Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. In: Trustworthy Software Development Processes, pp. 3–10. Springer (2009), https://doi.org/10.1007/978-3-642-01680-6_3
[S144]	Sveda, M.: Fault Management for Secure Embedded Systems. In: Proceedings of the Fourth International Conference on Systems (ICONS ’09). pp. 23–28. IEEE (2009), https://doi.org/10.1109/icons.2009.12
[S145]	Varona-Gomez, R., Villar, E.: Aadl simulation and performance analysis in systemc. In: Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’09). pp. 323–328. IEEE (2009), https://doi.org/10.1109/iceccs.2009.11
[S146]	Viehl, A., Pressler, M., Bringmann, O.: Bottom-up performance analysis considering time slice based software scheduling at system level. In: Proceedings of the 7th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES ’09). pp. 423–432. ACM (2009), https://doi.org/10.1145/1629435.1629493
[S147]	Wang, H., Liang, N.: A software diversity model for embedded safety-critical system. In: Proceedings of the International Conference on Wireless Networks and Information Systems (WNIS ’09). pp. 106–109. IEEE (2009), https://doi.org/10.1109/wnis.2009.52
[S148]	Yang, X., Lei, J., Xiong, G.z.: Inter-partition Information Flow Control for High-Assurance Embedded Systems. In: Proceedings of the WRI World Congress on Computer Science and Information Engineering (CSIE ’09). vol. 2, pp. 456–460. IEEE (2009), https://doi.org/10.1109/csie.2009.656
[S149]	Adler, R., Schaefer, I., Trapp, M., Poetzsch-Heffter, A.: Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Transactions on Embedded Computing Systems 10(2), 20 (2010), https://doi.org/10.1145/1880050.1880056
[S150]	Adler, R., Schneider, D., Trapp, M.: Engineering dynamic adaptation for achieving cost-efficient resilience in software-intensive embedded systems. In: Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’10). pp. 21–30. IEEE (2010), https://doi.org/10.1109/iceccs.2010.22
[S151]	Aguiar, A., Sérgio Filho, J., Magalhães, F.G., Casagrande, T.D., Hessel, F.: Hellfire: A design framework for critical embedded systems’ applications. In: Proceedings of the 11th International Symposium on Quality Electronic Design (ISQED ’10). pp. 730–737. IEEE (2010), https://doi.org/10.1109/isqed.2010.5450495
[S152]	Baruah, S., Li, H., Stougie, L.: Towards the design of certifiable mixed-criticality systems. In: Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS ’10). pp. 13–22. IEEE (2010), https://doi.org/10.1109/rtas.2010.10
[S153]	Correa, T., Becker, L.B., Farines, J.M., Bodeveix, J.P., Filali, M., Vernadat, F.: Supporting the design of safety critical systems using AADL. In: Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’10). pp. 331–336. IEEE (2010), https://doi.org/10.1109/iceccs.2010.56
[S154]	Farcas, C., Farcas, E., Krueger, I.H., Menarini, M.: Addressing the Integration Challenge for Avionics and Automotive Systems— From Components to Rich Services. Proceedings of the IEEE 98(4), 562–583 (2010), https://doi.org/10.1109/jproc.2009.2039630
[S155]	Feiler, P.H.: Model-based validation of safety-critical embedded systems. In: Proceedings of the 2010 IEEE Aerospace Conference (AeroConf ’10). pp. 1–10. IEEE (2010), https://doi.org/10.1109/aero.2010.5446809
[S156]	Förster, M., Schneider, D.: Flexible, any-time fault tree analysis with component logic models. In: Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering (ISSRE ’10). pp. 51–60. IEEE (2010), https://doi.org/10.1109/issre.2010.47
[S157]	Grießnig, G., Mader, R., Steger, C., Weiß, R.: Design and implementation of safety functions on a novel CPLD-based fail-safe system architecture. In: Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS ’10). pp. 206–212. IEEE (2010), https://doi.org/10.1109/ecbs.2010.29
[S158]	Insaurralde, C.C., Seminario, M.A., Jiménez, J.F., Giron-Sierra, J.M.: Model-based development framework for distributed embedded control of aircraft fuel systems. In: Proceedings of the IEEE/AIAA 29th Digital Avionics Systems Conference (DASC ’10). pp. 6–E. IEEE (2010), https://doi.org/10.1109/dasc.2010.5655449
[S159]	Lafaye, M., Faura, D., Gatti, M., Pautet, L.: A new modeling approach for ima platform early validation. In: Proceedings of the Seventh International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES ’10). pp. 17–20. ACM (2010), https://doi.org/10.1145/1865875.1865878
[S160]	Lakhani, F., Pont, M.J.: Using design patterns to support migration between different system architectures. In: Proceedings of the Fifth International Conference on System of Systems Engineering (SoSE ’10). pp. 1–6. IEEE (2010), https://doi.org/10.1109/sysose.2010.5544004
[S161]	Lefftz, V., Bertrand, J., Casse, H., Clienti, C., Coussy, P., Maillet-Contoz, L., Mercier, P., Moreau, P., Pierre, L., Vaumorin, E.: A Design Flow for Critical Embedded Systems. In: Proceedings of the Fifth International Symposium on Industrial Embedded Systems (SIES ’10). pp. 229–233 (2010), https://doi.org/10.1109/sies.2010.5551393
[S162]	Lesens, D.: Using static analysis in space: why doing so? In: Static Analysis, pp. 51–70. Springer (2010), https://doi.org/10.1007/978-3-642-15769-1_5
[S163]	Li, C., Zhou, X., Dong, Y.: Formal behavior specification for AADL. In: Proceedings of the Second International Conference on Industrial and Information Systems (IIS ’10). vol. 2, pp. 110–113. IEEE (2010), https://doi.org/10.1109/INDUSIS.2010.5565667
[S164]	Li, H., Baruah, S.: An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In: Proceedings of the IEEE 31st Real-Time Systems Symposium (RTSS ’10). pp. 183–192. IEEE (2010), https://doi.org/10.1109/rtss.2010.18
[S165]	Li, H., Baruah, S.: Load-based schedulability analysis of certifiable mixed-criticality systems. In: Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT ’10). pp. 99–108. ACM (2010), https://doi.org/10.1145/1879021.1879035
[S166]	Meseguer, J., Ölveczky, P.C.: Formalization and correctness of the PALS architectural pattern for distributed real-time systems. In: Formal Methods and Software Engineering, pp. 303–320. Springer (2010), https://doi.org/10.1007/978-3-642-16901-4_21
[S167]	Mitzlaff, M., Lang, M., Kapitza, R., Schröder-Preikschat, W.: A membership service for a distributed, embedded system based on a time-triggered flexray network. In: Proceedings of the Ninth European Dependable Computing Conference (EDCC ’10). pp. 155–162. IEEE (2010), https://doi.org/10.1109/edcc.2010.27
[S168]	Perez, J., Azkarate-Askasua, M., Perez, A.: Codesign and simulated fault injection of safety-critical embedded systems using SystemC. In: Proceedings of the Ninth European Dependable Computing Conference (EDCC ’10). pp. 221–229. IEEE (2010), https://doi.org/10.1109/edcc.2010.34
[S169]	Schlickling, M., Pister, M.: Semi-automatic derivation of timing models for WCET analysis. In: ACM Sigplan Notices. vol. 45, pp. 67–76. ACM (2010), https://doi.org/10.1145/1755951.1755899
[S170]	Stallbaum, H., Rzepka, M.: Toward DO-178B-compliant Test Models. In: Proceedings of the Seventh Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa ’10). pp. 25–30. IEEE (2010), https://doi.org/10.1109/modevva.2010.21
[S171]	Steindl, M., Mottok, J., Meier, H.: SES-based Framework for Fault-tolerant Systems. In: Proceedings of the Eight Workshop on Intelligent Solutions in Embedded Systems (WISES ’10). pp. 12–16. IEEE (2010), https://doi.org/10.1109/wises.2010.5548427
[S172]	Suri, N., Jhumka, A., Hiller, M., Pataricza, A., Islam, S., Sârbu, C.: A software integration approach for designing and assessing dependable embedded systems. Journal of Systems and Software 83(10), 1780–1800 (2010), https://doi.org/10.1016/j.jss.2010.04.063
[S173]	Sveda, M.: Fault Management Driven Design with Safety and Security Requirements. In: Proceedings of the 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS ’10). pp. 113–120. IEEE (2010), https://doi.org/10.1109/ecbs.2010.19
[S174]	Trienekens, J.J., Kusters, R.J., Brussel, D.C.: Quality specification and metrication, results from a case-study in a mission-critical software domain. Software Quality Journal 18(4), 469–490 (2010), https://doi.org/10.1007/s11219-010-9101-z
[S175]	Trindade, O., de Oliveira Neris, L., Barbosa, L.C.P., Branco, K.R.L.J.C.: A layered approach to design autopilots. In: Proceedings of the 2010 IEEE International Conference on Industrial Technology (ICIT ’10). pp. 1415–1420. IEEE (2010), https://doi.org/10.1109/ICIT.2010.5472499
[S176]	Varona-Gomez, R., Villar, E.: Aads+: Aadl simulation including the behavioral annex. In: Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’10). pp. 379–384. IEEE (2010), https://doi.org/10.1109/iceccs.2010.8
[S177]	Wasicek, A., El-Salloum, C., Kopetz, H.: A system-on-a-chip platform for mixed-criticality applications. In: Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC ’10). pp. 210–216. IEEE (2010), https://doi.org/10.1109/isorc.2010.43
[S178]	Yates, A.M., Torres-Pomales, W., Malekpour, M.R., González, O.R., Gray, W.S.: High-Intensity Radiated Field fault-injection experiment for a fault-tolerant distributed communication system. In: Proceedings of the 29th IEEE/AIAA Digital Avionics Systems Conference (DASC ’10). pp. 4–E. IEEE (2010), https://doi.org/10.1109/dasc.2010.5655331
[S179]	Yun, L., Fulei, G.: Tool of scheduling simulation based on AADL models. In: Proceedings of the Second World Congress on Software Engineering (WCSE ’10). vol. 1, pp. 45–48. IEEE (2010), https://doi.org/10.1109/WCSE.2010.42
[S180]	Ölveczky, P.C., Boronat, A., Meseguer, J.: Formal semantics and analysis of behavioral AADL models in Real-Time Maude. In: Formal Techniques for Distributed Systems, pp. 47–62. Springer (2010), https://doi.org/10.1007/978-3-642-13464-7_5
[S181]	Abella, J., Cazorla, F.J., Quiñones, E., Grasset, A., Yehia, S., Bonnot, P., Gizopoulos, D., Mariani, R., Bernat, G.: Towards improved survivability in safety-critical systems. In: Proceedings of the IEEE 17th International On-Line Testing Symposium (IOLTS ’11). pp. 240–245. IEEE (2011), https://doi.org/10.1109/iolts.2011.5994536
[S182]	Assayad, I., Girault, A., Kalla, H.: Tradeoff exploration between reliability, power consumption, and execution time. In: Computer Safety, Reliability, and Security, pp. 437–451. Springer (2011), https://doi.org/10.1007/978-3-642-24270-0_32
[S183]	Belwal, C., Cheng, A.M.: Feasibility interval for the transactional event handlers of P-FRP. In: Proceedings of the IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom ’11). pp. 966–973. IEEE (2011), https://doi.org/10.1109/trustcom.2011.133
[S184]	Björnander, S., Seceleanu, C., Lundqvist, K., Pettersson, P.: Abv-a verifier for the architecture analysis and design language (aadl). In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ’11). pp. 355–360. IEEE (2011), https://doi.org/10.1109/iceccs.2011.43
[S185]	Blanquart, J.P., Armengaud, E., Baufreton, P., Bourrouilh, Q., Griessnig, G., Krammer, M., Laurent, O., Machrouh, J., Peikenkamp, T., Schindler, C., et al.: Towards cross-domains model-based safety process, methods and tools for critical embedded systems: the CESAR approach. In: Computer Safety, Reliability, and Security, pp. 57–70. Springer (2011), https://doi.org/10.1007/978-3-642-24270-0_5
[S186]	Bonifacio, G., Marmo, P., Orazzo, A., Petrone, I., Velardi, L., Venticinque, A.: Improvement of processes and methods in testing activities for safety-critical embedded systems. In: Computer Safety, Reliability, and Security, pp. 369–382. Springer (2011), https://doi.org/10.1007/978-3-642-24270-0_27
[S187]	Braga, R.T.V., Branco, K.R., Junior, O.T., de Oliveira Neris, L.: Safe-crites: Developing safety-critical embedded systems supported by reuse techniques. In: Proceedings of the IEEE International Conference on Information Reuse and Integration (IRI ’11). pp. 206–211. IEEE (2011), https://doi.org/10.1109/iri.2011.6009547
[S188]	Cardoso, J.M., Diniz, P.C., Petrov, Z., Bertels, K., Hübner, M., van Someren, H., Gonçalves, F., de Coutinho, J.G.F., Constantinides, G.A., Olivier, B., et al.: REFLECT: Rendering FPGAs to multi-core embedded computing. In: Reconfigurable Computing, pp. 261–289. Springer (2011), https://doi.org/10.1007/978-1-4614-0061-5_11
[S189]	Cuenca-Asensi, S., Martínez-Álvarez, A., Restrepo-Calle, F., Palomo, F.R., Guzmán-Miranda, H., Aguirre, M.A.: Soft core based embedded systems in critical aerospace applications. Journal of Systems Architecture 57(10), 886–895 (2011), https://doi.org/10.1016/j.sysarc.2011.04.006
[S190]	Daramola, O., Stålhane, T., Sindre, G., Omoronyia, I.: Enabling hazard identification from requirements and reuse-oriented HAZOP analysis. In: Proceedings of the Fourth International Workshop on Managing Requirements Knowledge (MARK ’11). pp. 3–11. IEEE (2011), https://doi.org/10.1109/mark.2011.6046555
[S191]	Dias, D.M., Iyoda, J.M.: Behavioural preservation in fault tolerant patterns. In: Formal Methods, Foundations and Applications, pp. 156–171. Springer (2011), https://doi.org/10.1007/978-3-642-25032-3_11
[S192]	El Ariss, O., Xu, D., Wong, W.E.: Integrating safety analysis with functional modeling. IEEE Transactions on Systems, Man and Cybernetics 41(4), 610–624 (2011), https://doi.org/10.1109/tsmca.2010.2093889
[S193]	Forget, J., Grolleau, E., Pagetti, C., Richard, P.: Dynamic priority scheduling of periodic tasks with extended precedences. In: Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA ’11). pp. 1–8. IEEE (2011), https://doi.org/10.1109/etfa.2011.6059015
[S194]	Gray, I., Matragkas, N., Audsley, N.C., Indrusiak, L.S., Kolovos, D., Paige, R.: Model-based hardware generation and programming-the MADES approach. In: Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW ’11). pp. 88–96. IEEE (2011), https://doi.org/10.1109/isorcw.2011.20
[S195]	Griessnig, G., Kundner, I., Armengaud, E., Torchiaro, S., Karlsson, D.: Improving automotive embedded systems engineering at European level. e & i Elektrotechnik und Informationstechnik 128(6), 209–214 (2011), https://doi.org/10.1007/s00502-011-0003-y
[S196]	Hilbrich, R., Goltz, H.J.: Model-based generation of static schedules for safety critical multi-core systems in the avionics domain. In: Proceedings of the Fourth International Workshop on Multicore Software Engineering (IWMSE ’11). pp. 9–16. ACM (2011), https://doi.org/10.1145/1984693.1984695
[S197]	Hong, D., Gu, T., Baik, J.: A uml model based white box reliability prediction to identify unreliable components. In: Proceedings of the Fifth International Conference on Secure Software Integration & Reliability Improvement Companion (SSIRI-C ’11). pp. 152–159. IEEE (2011), https://doi.org/10.1109/ssiri-c.2011.30
[S198]	Hooman, J., Huis, R., Schuts, M., et al.: Experiences with a compositional model checker in the healthcare domain. In: Foundations of Health Informatics Engineering and Systems, pp. 93–110. Springer (2011), https://doi.org/10.1007/978-3-642-32355-3_6
[S199]	Höfig, K., Domis, D.: Failure-Dependent execution time analysis. In: Proceedings of the joint ACM SIGSOFT Conference on Quality of software architectures and Architecting Critical Systems (QoSA-ISARCS ’11). pp. 115–122. ACM (2011), https://doi.org/10.1145/2000259.2000279
[S200]	Julien Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Software Engineering Notes 36(1), 1–8 (2011), https://doi.org/10.1145/1921532.1921553
[S201]	Kumar, S.P., Ramaiah, P.S., Khanaa, V.: Architectural patterns to design software safety based safety-critical systems. In: Proceedings of the 2011 International Conference on Communication, Computing & Security (ICCCS ’11). pp. 620–623. ACM (2011), https://doi.org/10.1145/1947940.1948069
[S202]	Lamy, F., Schoofs, T.: Industry use cases for the Java environment for parallel realtime development. In: Proceedings of the Ninth International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES ’11). pp. 106–115. ACM (2011), https://doi.org/10.1145/2043910.2043928
[S203]	Leitner, A., Mader, R., Kreiner, C., Steger, C., Weiß, R.: A development methodology for variant-rich automotive software architectures. e & i Elektrotechnik und Informationstechnik 128(6), 222–227 (2011), https://doi.org/10.1007/s00502-011-0001-0
[S204]	Lévêque, T., Sentilles, S.: Refining extra-functional property values in hierarchical component models. In: Proceedings of the 14th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE ’11). pp. 83–92. ACM (2011), https://doi.org/10.1145/2000229.2000242
[S205]	Mader, R., Grießnig, G., Leitner, A., Kreiner, C., Bourrouilh, Q., Armengaud, E., Steger, C., Weiss, R.: A Computer-Aided approach to preliminary hazard analysis for automotive embedded systems. In: Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS ’11). pp. 169–178. IEEE (2011), https://doi.org/10.1109/ecbs.2011.43
[S206]	Pagetti, C., Forget, J., Boniol, F., Cordovilla, M., Lesens, D.: Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems 21(3), 307–338 (2011), https://doi.org/10.1007/s10626-011-0107-x
[S207]	Pedroza, G., Apvrille, L., Knorreck, D.: Avatar: A sysml environment for the formal verification of safety and security properties. In: Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems (NOTERE ’11). pp. 1–10. IEEE (2011), https://doi.org/10.1109/notere.2011.5957992
[S208]	Rodrigues, D., de Melo Pires, R., Estrella, J.C., Marconato, E.A., Trindade, O., Branco, K.R.L.J.C.: Using SOA in Critical-Embedded Systems. In: Proceedings of the joint 2011 International Conference on Internet of Things and Fourth International Conference on Cyber, Physical and Social Computing (iThings-CPSCom ’11). pp. 733–738. IEEE (2011), https://doi.org/10.1109/ithings/cpscom.2011.127
[S209]	Rodrigues, D., de Melo Pires, R., Estrella, J.C., Vieira, M., Corrêa, M., Júnior, J.B.C., Branco, K.R.L.J.C., Júnior, O.T.: Application of SOA in safety-critical embedded systems. In: Convergence and Hybrid Information Technology, pp. 345–354. Springer (2011), https://doi.org/10.1007/978-3-642-24106-2_45
[S210]	Sabetzadeh, M., Nejati, S., Briand, L., Mills, A.H.E.: Using SysML for modeling of safety-critical software-hardware interfaces: Guidelines and industry experience. In: Proceedings of the IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE ’11). pp. 193–201. IEEE (2011), https://doi.org/10.1109/hase.2011.23
[S211]	Saddem, R., Toguyeni, A., Tagina, M.: Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems. In: Proceedings of the 2011 IEEE Conference on Automation Science and Engineering (CASE ’11). pp. 163–168. IEEE (2011), https://doi.org/10.1109/case.2011.6042512
[S212]	Sojer, D.: Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems. In: Proceedings of the IEEE 35th Annual Computer Software and Applications Conference (COMPSAC ’11). pp. 700–703. IEEE (2011), https://doi.org/10.1109/compsac.2011.108
[S213]	Varet, A., Larrieu, N.: New methodology to develop certified safe and secure aeronautical software— An embedded router case study. In: Proceedings of the IEEE/AIAA 30th Digital Avionics Systems Conference (DASC ’11). pp. 7C6–1. IEEE (2011), https://doi.org/10.1109/dasc.2011.6096126
[S214]	Wang, Y., Ma, D., Zhao, Y., Zou, L., Zhao, X.: An aadl-based modeling method for arinc653-based avionics software. In: Proceedings of the IEEE 35th Annual Computer Software and Applications Conference (COMPSAC ’11). pp. 224–229. IEEE (2011), https://doi.org/10.1109/compsac.2011.36
[S215]	Wasicek, A., El-Salloum, C., Kopetz, H.: Authentication in time-triggered systems using time-delayed release of keys. In: Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC ’11). pp. 31–39. IEEE (2011), https://doi.org/10.1109/isorc.2011.14
[S216]	Yu, H., Ma, Y., Glouche, Y., Talpin, J.P., Besnard, L., Gautier, T., Guernic, P.L., Toom, A., Laurent, O.: System-level co-simulation of integrated avionics using Polychrony. In: Proceedings of the 26th ACM International Symposium on Applied Computing (SAC ’11’). pp. 354–359. ACM (2011), https://doi.org/10.1145/1982185.1982263
[S217]	Zhang, Y., Li, G., Zhang, J.: QP based framework for development and formal verification of flight control software of UAV. In: Artificial Intelligence and Computational Intelligence, pp. 1–8. Springer (2011), https://doi.org/10.1007/978-3-642-23881-9_1
[S218]	Ziemke, C., Kuwahara, T., Kossev, I.: An integrated development framework for rapid development of platform-independent and reusable satellite on-board software. Acta Astronautica 69(7), 583–594 (2011), https://doi.org/10.1016/j.actaastro.2011.04.011
[S219]	Acharyulu, P.S., Seetharamaiah, P.: A methodological framework for software safety in safety critical computer systems. Journal of Computer Science 8(9), 1564 (2012), https://doi.org/10.3844/jcssp.2012.1564.1575
[S220]	Agrou, H., Sainrat, P., Gatti, M., Toillon, P.: Mastering the behavior of multi-core systems to match avionics requirements. In: Proceedings of the IEEE/AIAA 31st Digital Avionics Systems Conference (DASC ’12). pp. 6E5–1. IEEE (2012), https://doi.org/10.1109/dasc.2012.6382403
[S221]	Aliouat, Z., Aliouat, M.: Verification of cooperative transient fault diagnosis and recovery in critical embedded systems. The International Arab Journal of Information Technology 9(4), 373–381 (2012)
[S222]	Andrade, H.A., Ghosal, A., Ravindran, K., Evans, B.L.: A methodology for the design and deployment of reliable systems on heterogeneous platforms. In: Proceedings of the 2012 International Conference on Reconfigurable Computing and FPGAs (ReConFig ’12). pp. 1–7. IEEE (2012), https://doi.org/10.1109/reconfig.2012.6416722
[S223]	Asplund, F., Biehl, M., Loiret, F.: Towards the automated qualification of tool chain design. In: Computer Safety, Reliability, and Security, pp. 392–399. Springer (2012), https://doi.org/10.1007/978-3-642-33675-1_36
[S224]	Barnat, J., Brim, L., Beran, J., Kratochvíla, T., Oliveira, Í.R.: Executing model checking counterexamples in Simulink. In: Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE ’12). pp. 245–248. IEEE (2012), https://doi.org/10.1109/TASE.2012.42
[S225]	Baruah, S., Bonifaci, V., D’Angelo, G., Li, H., Marchetti-Spaccamela, A., Megow, N., Stougie, L.: Scheduling real-time mixed-criticality jobs. IEEE Transactions on Computers 61(8), 1140–1152 (2012), https://doi.org/10.1109/tc.2011.142
[S226]	Braga, R.T.V., Junior, O.T., Branco, K.R.C., Neris, L.D.O., Lee, J.: Adapting a software product line engineering process for certifying safety critical embedded systems. In: Computer Safety, Reliability, and Security, pp. 352–363. Springer (2012), https://doi.org/10.1007/978-3-642-33678-2_30
[S227]	Braga, R.T., Trindade Jr, O., Branco, K.R., Lee, J.: Incorporating certification in feature modelling of an unmanned aerial vehicle product line. In: Proceedings of the 16th International Software Product Line Conference (SPLC ’12). pp. 249–258. ACM (2012), https://doi.org/10.1145/2362536.2362570
[S228]	Cadoret, F., Borde, E., Gardoll, S., Pautet, L.: Design patterns for rule-based refinement of safety critical embedded systems models. In: Proceedings of the 17th International Conference on Engineering of Complex Computer Systems (ICECCS ’12). pp. 67–76. IEEE (2012)
[S229]	Casola, V., Esposito, M., Mazzocca, N., Flammini, F.: Freight train monitoring: A case-study for the pSHIELD project. In: Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2012 Sixth International Conference on. pp. 597–602. IEEE (2012), https://doi.org/10.1109/imis.2012.51
[S230]	Costa, I.C., de Oliveira, J.M.P.: Modeling Unmanned Aircraft System conflicts resolution based on a real-time services approach. In: Proceedings of the IEEE/AIAA 31st Digital Avionics Systems Conference (DASC ’12). pp. 8A5–1. IEEE (2012), https://doi.org/10.1109/dasc.2012.6383115
[S231]	Dalpez, S., Vaccari, A., Passerone, R., Penasa, A.: Design of an innovative proximity detection embedded-system for safety application in industrial machinery. In: Proceedings of the IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA ’12). pp. 1–8. IEEE (2012), https://doi.org/10.1109/etfa.2012.6489582
[S232]	Diemer, J., Thiele, D., Ernst, R.: Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching. In: Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES ’12). pp. 1–10. IEEE (2012), https://doi.org/10.1109/sies.2012.6356564
[S233]	Ebnenasir, A., Hajisheykhi, R., Kulkarni, S.S.: Facilitating the design of fault tolerance in transaction level SystemC programs. In: Distributed Computing and Networking, pp. 91–105. Springer (2012), https://doi.org/10.1016/j.tcs.2012.11.010
[S234]	Edmunds, A., Rezazadeh, A., Butler, M.: Formal modelling for Ada implementations: Tasking event-B. In: Proceedings of the 17th International Conference on Reliable Software Technologies (Ada-Europe ’12), pp. 119–132. Springer (2012), https://doi.org/10.1007/978-3-642-30598-6_9
[S235]	Fernandes, L.C., Souza, J.R., Shinzato, P.Y., Pessin, G., Mendes, C.C., Osório, F.S., Wolf, D.F.: Intelligent robotic car for autonomous navigation: Platform and system architecture. In: Proceedings of the Second Brazilian Conference on Critical Embedded Systems (CBSEC ’12). pp. 12–17. IEEE (2012), https://doi.org/10.1109/cbsec.2012.26
[S236]	Gatti, S., Aimé, F., Treuchot, S., Jourdan, J.: Incremental functional certification for avionic functions reuse & evolution. In: Proceedings of the IEEE/AIAA 31st Digital Avionics Systems Conference (DASC ’12). pp. 7A5–1. IEEE (2012), https://doi.org/10.1109/dasc.2012.6382409
[S237]	Gezgin, T., Henkler, S., Rettberg, A., Stierand, I.: Abstraction techniques for compositional state-based scheduling analysis. In: Proceedings of the Second Brazilian Symposium on Computing System Engineering (SBESC ’12). pp. 166–171. IEEE (2012), https://doi.org/10.1109/sbesc.2012.40
[S238]	Hazra, A., Ghosh, P., Dasgupta, P.: Reliability annotations to formal specifications of context-sensitive safety properties in embedded systems. In: Proceedings of the Forum on Specification and Design Languages (FDL ’12). pp. 36–43. IEEE (2012)
[S239]	Jo, H.C., Han, S., Lee, S.H., Jin, H.W.: Implementing control and mission software of UAV by exploiting open source software-based arinc 653. In: Proceedings of the 31st IEEE/AIAA Digital Avionics Systems Conference (DASC ’12). pp. 8B2–1. IEEE (2012), https://doi.org/10.1109/DASC.2012.6382436
[S240]	Koskinen, J., Vuori, M., Katara, M.: Safety Process Patterns: Demystifying Safety Standards. In: Proceedings of the IEEE International Conference on Software Science, Technology and Engineering (SWSTE ’12). pp. 63–71. IEEE (2012), https://doi.org/10.1109/swste.2012.10
[S241]	Lafaye, M., Pautet, L., Borde, E., Gatti, M., Faura, D.: Model driven resource usage simulation for critical embedded systems. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE ’12). pp. 312–315. EDA Consortium (2012), https://doi.org/10.1109/date.2012.6176486
[S242]	Lee, S.H., Han, S., Jin, H.W.: A Configurable, Extensible Implementation of Inter-Partition Communication for Integrated Modular Avionics. In: Proceedings of the IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA ’12). pp. 453–458. IEEE (2012), https://doi.org/10.1109/rtcsa.2012.44
[S243]	Lefftz, V., Lachaize, J.: SoCKET: A HW/SW Co-Design Flow: Presentation & feedbacks from aeronautic and space application domains. In: Proceedings of the Eurospace Data Systems in Aerospace Conference (DASIA ’12) (2012)
[S244]	Mader, R., Armengaud, E., Leitner, A., Steger, C.: Automatic and optimal allocation of safety integrity levels. In: Proceedings of the Annual Reliability and Maintainability Symposium (RAMS ’12). pp. 1–6. IEEE (2012), https://doi.org/10.1109/rams.2012.6175431
[S245]	Mader, R., Grießnig, G., Armengaud, E., Leitner, A., Kreiner, C., Bourrouilh, Q., Steger, C., Weiss, R.: A bridge from system to software development for safety-critical automotive embedded systems. In: Proceedings of the 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA ’12). pp. 75–79. IEEE (2012), https://doi.org/10.1109/seaa.2012.61
[S246]	Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L.: Improving verification process in driverless metro systems: the MBAT project. In: Proceedings of the Fifth International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA ’12). pp. 231–245. Springer (2012), https://doi.org/10.1007/978-3-642-34032-1_23
[S247]	Méry, D., Singh, N.K.: Critical systems development methodology using formal techniques. In: Proceedings of the Third Symposium on Information and Communication Technology (SoICT ’12). pp. 3–12. ACM (2012), https://doi.org/10.1145/2350716.2350720
[S248]	Nejati, S., Di Alesio, S., Sabetzadeh, M., Briand, L.: Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems (MODELS ’12). Springer (2012), https://doi.org/10.1007/978-3-642-33666-9_48
[S249]	Novak, T., Stoegerer, C.: Software architecture of a safety-related actuator in traffic management systems. In: Computer Safety, Reliability, and Security, pp. 268–278. Springer (2012), https://doi.org/10.1007/978-3-642-33678-2_23
[S250]	Perez, J., Nicolas, C.F., Obermaisser, R., El Salloum, C.: Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC. In: System Specification and Design Languages, pp. 123–141. Springer (2012), https://doi.org/10.1007/978-1-4614-1427-8_8
[S251]	Saadatmand, M., Leveque, T.: Modeling security aspects in distributed real-time component-based embedded systems. In: Proceedings of the Ninth International Conference on Information Technology: New Generations (ITNG ’12). pp. 437–444. IEEE (2012), https://doi.org/10.1109/itng.2012.103
[S252]	Skopik, F., Treytl, A., Geven, A., Hirschler, B., Bleier, T., Eckel, A., El-Salloum, C., Wasicek, A.: Towards secure time-triggered systems. In: Computer Safety, Reliability, and Security, pp. 365–372. Springer (2012), https://doi.org/10.1007/978-3-642-33675-1_33
[S253]	Soderberg, A., Vedder, B.: Composable safety-critical systems based on pre-certified software components. In: Proceedings of the IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW ’12). pp. 343–348. IEEE (2012), https://doi.org/10.1109/issrew.2012.83
[S254]	Xu, T., Liu, Z., Tang, T., Zheng, W., Zhao, L.: Component based design of fault tolerant devices in cyber physical system. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW ’12). pp. 37–42. IEEE (2012), https://doi.org/10.1109/isorcw.2012.17
[S255]	Assayad, I., Girault, A., Kalla, H.: Tradeoff exploration between reliability, power consumption, and execution time for embedded systems. International Journal on Software Tools for Technology Transfer 15(3), 229–245 (2013), https://doi.org/10.1007/s10009-012-0263-9
[S256]	Ben Atitallah, R., Senn, E., Chillet, D., Lanoe, M., Blouin, D.: An efficient framework for power-aware design of heterogeneous MPSoC. IEEE Transactions on Industrial Informatics 9(1), 487–501 (2013), https://doi.org/10.1109/tii.2012.2198657
[S257]	Bolchini, C., Miele, A.: Reliability-driven system-level synthesis for mixed-critical embedded systems. IEEE Transactions on Computers 62(12), 2489–2502 (2013), https://doi.org/10.1109/tc.2012.226
[S258]	Boniol, F., Lauer, M., Pagetti, C., Ermont, J.: Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. In: NASA Formal Methods, pp. 93–107. Springer (2013), https://doi.org/10.1007/978-3-642-38088-4_7
[S259]	Castellanos, C., Vergnaud, T., Borde, E., Derive, T., Pautet, L.: Formalization of design patterns for security anddependability. In: Proceedings of the 4th International ACM SIGSOFT Symposium on Architecting Critical Systems (ISARCS ’13). pp. 17–26. ACM (2013), https://doi.org/10.1145/2465470.2465476
[S260]	Hu, W., Oberg, J., Barrientos, J., Mu, D., Kastner, R.: Expanding Gate Level Information Flow Tracking for Multilevel Security. IEEE Embedded Systems Letters 5(2), 25–28 (2013), https://doi.org/10.1109/LES.2013.2261572
[S261]	Jiang, K., Eles, P., Peng, Z.: Optimization of secure embedded systems with dynamic task sets. In: Proceedings of the 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE ’13). pp. 1765–1770. IEEE (2013), https://doi.org/10.7873/date.2013.355
[S262]	Martin, L.K., Schatalov, M., Hagner, M., Goltz, U., Maibaum, O.: A methodology for model-based development and automated verification of software for aerospace systems. In: Proceedings of the 2013 IEEE Aerospace Conference (AeroConf ’13). pp. 1–19. IEEE (2013), https://doi.org/10.1109/aero.2013.6496950
[S263]	Min, H.S., Chung, S.M., Choi, J.Y.: Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. Journal of Universal Computer Science 19(1), 53–77 (2013), https://doi.org/10.3217/jucs-019-01-0053
[S264]	Notander, J.P., Runeson, P., Höst, M.: A model-based framework for flexible safety-critical software development: a design study. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC ’13). pp. 1137–1144. ACM (2013), https://doi.org/10.1145/2480362.2480575
[S265]	Osaiweran, A., Schuts, M., Hooman, J., Wesselius, J.: Incorporating formal techniques into industrial practice: an experience report. Electronic Notes in Theoretical Computer Science 295, 49–63 (2013), https://doi.org/10.1016/j.entcs.2013.04.005
[S266]	Rossignol, A.: The Reference Technology Platform, pp. 213–236. Springer (2013), https://doi.org/10.1007/978-3-7091-1387-5_6
[S267]	Tamas-Selicean, D., Keymeulen, D., Berisford, D., Carlson, R., Hand, K., Pop, P., Wadsworth, W., Levy, R.: Fourier transform spectrometer controller for partitioned architectures. In: Proceedings of the 2013 IEEE Aerospace Conference (AeroConf ’13). pp. 1–11. IEEE (2013), https://doi.org/10.1109/aero.2013.6496969
[S268]	Wang, Y., Ma, D.: An automatic development process for integrated modular avionics software. Journal of Networks 8(5), 1088–1095 (2013), https://doi.org/10.4304/jnw.8.5.1088-1095
[S269]	Yoon, M.K., Mohan, S., Choi, J., Kim, J.E., Sha, L.: SecureCore: A multicore-based intrusion detection architecture for real-time embedded systems. In: Proceedings of the IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS ’13). pp. 21–32. IEEE (2013), https://doi.org/10.1109/RTAS.2013.6531076