Online Resources

Online content: Audio & Video

An Open Source Tool for Fault Tree Analysis

Effective Reduction of Avoidable Complexity in Embedded Systems

Carnegie Mellon SCADE Academic Program and ANSYS

Commercial Journals

  • [LINUXMAG150] J. Delange. Émulation de périphériques réseau avec QEMU In Linux Magazine France, Juin 2012.
  • [LINUXMAG150] J. Delange. Émulation de périphériques réseau avec QEMU In Linux Magazine France, Juin 2012.
  • [LINUXMAG149] J. Delange. Anatomie d’un OS Temps-Réel In Linux Magazine France, Mai 2012.
  • [OPENSILICIUM11] J. Delange and Maxime Perrottin. Implémentation de systèmes critiques dirigée par des modèles In Open Silicium.

Complete Bibliography

This is a more complete bibliography. The BiBTeX file is also available.

  1. [NSDPTO16]
    Julien Delange, M.-Y. N., & Feiler, P. (2016). Integrated Modeling Workflow for Security Assurance. In ISoLA2016. Springer Verlag.
  2. [NSDPTO17]
    Nord, R., Sangwan, R., Delange, J., Feiler, P., Nathanael, L. T., & Ozkaya, I. (2016). Missed Architectural Dependencies: The Elephant in the Room. In 13th Working IEEE/IFIP Conference on Software Architecture. IEEE.
  3. [DNFK16]
    Delange, J., Nam, M.-Y., Feiler, P., & Klieber, W. (2016). An Architecture-Centric Process for MILS Development. In MILS workshop. Carnegie Mellon Software Engineering Institute.
  4. [DF-ERTSS14-1]
    Delange, J., & Feiler, P. (2016). Supporting the ARP4761 Safety Assessment Process with AADL. Proceedings of the 7th European Congress Embedded Real Time Software and Systems (ERTSS), Toulouse, France.
  5. [TECHREPORT-COMPLEXITY]
    Delange, J., Hudak, J., Nichols, W., McHale, J., & Nam, M.-Y. (2015). Evaluating and Mitigating the Impact of Complexity in Software Models. Retrieved from http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=448083
  6. [TECHREPORT-SEI-CONFIDENCE]
    Feiler, P., Goodenough, J., Weinstock, C. B., Delange, J., & Ernst, N. (2015). Improving Quality Using Architecture Fault Analysis with Confidence Arguments. Retrieved from http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=435051
  7. [DF-ERTSS14-2]
    Delange, J., & Feiler, P. (2014). Design and analysis of multi-core architectures for cyberphysical systems. Proceedings of the 7th European Congress Embedded Real Time Software and Systems (ERTSS), Toulouse, France.
  8. [AVIONICS-HANDBOOK]
    Delange, J., & Lewis, B. (2014). Model-Based Development with AADL. Digital Avionics Handbook, Third Edition (pp. 679–694). CRC Press.
  9. [DF-REACTION14]
    Delange, J., & Feiler, P. (2014). Incremental Latency Analysis of Heterogeneous Cyber-Physical Systems.
  10. [DFGH14]
    Delange, J., Feiler, P., Gluch, D., & Hudak, J. J. (2014). AADL fault modeling and analysis within an ARP4761 safety assessment. Retrieved from http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=311884
  11. [DF-SEAA14]
    Delange, J., & Feiler, P. (2014). Architecture fault modeling with the AADL error-model annex. In Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on (pp. 361–368). IEEE.
  12. [LHFD13]
    Larson, B., Hatcliff, J., Fowler, K., & Delange, J. (2013). Illustrating the AADL error modeling annex (v. 2) using a simple safety-critical medical device. In ACM SIGAda Ada Letters (Vol. 33, pp. 65–84). ACM.
  13. [DFO13]
    Delange, J., Feiler, P., & Ozkaya, I. (2013). Integration of Model-Based Engineering with Existing Systems. SAE Technical Paper.
  14. [EONDBG13]
    Ernst, N. A., Ozkaya, I., Nord, R. L., Delange, J., Bellomo, S., & Gorton, I. (2013). Understanding the role of constraints on architecturally significant requirements. In Twin Peaks of Requirements and Architecture (TwinPeaks), 2013 3rd International Workshop on the (pp. 9–14). IEEE.
  15. [NOSDGK13]
    Nord, R. L., Ozkaya, I., Sangwan, R. S., Delange, J., González, M., & Kruchten, P. (2013). Variations on using propagation cost to measure architecture modifiability properties. In 2013 IEEE International Conference on Software Maintenance (pp. 400–403). IEEE.
  16. [DF13]
    Delange, J., & Feiler, P. (2013). Supporting Safety Evaluation Process using AADL. 7 Th Layered Assurance Workshop, 9.
  17. [DHD12]
    Delange, J., Hugues, J., & Dissaux, P. (2012). Validate implementation correctness using simulation: the TASTE approach.
  18. [DHW12]
    Delange, J., Honvault, C., & Windsor, J. (2012). Model-Based Engineering Approach for System Architecture Exploration. Proceedings of the Embedded Real Time Software and Systems Conference (ERTS), Toulouse, France.
  19. [DPK13]
    Delange, J., Pautet, L., & Kordon, F. (2012). Design, implementation and verification of MILS systems. Software: Practice and Experience, 42(7), 799–816.
  20. [PCDT12]
    Perrotin, M., Conquet, E., Delange, J., & Tsiodras, T. (2012). TASTE-An open-source tool-chain for embedded system and software development. Proceedings of the Embedded Real Time Software and Systems Conference (ERTS), Toulouse, France.
  21. [PCDST11]
    Perrotin, M., Conquet, E., Delange, J., Schiele, A., & Tsiodras, T. (2011). TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. In SDL Forum (pp. 26–37).
  22. [PDH12]
    Perrotin, M., Delange, J., & Hugues, J. (2011). The Design of Aerospace Systems. Distributed Systems: Design and Algorithms, 191–227.
  23. [DL11]
    Delange, J., & Lec, L. (2011). POK, an ARINC653-compliant operating system released under the BSD license. 13th Real-Time Linux Workshop, 10.
  24. [PDH11]
    Perrotin, M., Delange, J., & Hugues, J. (2011). Concrete aerospace systems. Wiley-ISTE.
  25. [DPK12]
    Delange, J., Pautet, L., & Kordon, F. (2011). A model-based approach to configure and reconfigure avionics systems. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, 509–541.
  26. [DH11]
    Delange, J., & Hugues, J. (2011). Incremental modeling and validation of space mission using AADLv2. SAE Technical Paper.
  27. [TASTE-DOCUMENTATION]
    Perrotin, M., Tsiodras, T., Delange, J., & Hugues, J. (2010). TASTE Documentation v1.
  28. [DELANGE2010]
    Delange, J. (2010). Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d’intergiciels critiques (PhD thesis). Télécom ParisTech.
  29. [DPK11]
    Delange, J., Pautet, L., & Kordon, F. (2010). Design, Verification and Implementation of MILS systems. Proceedings of the 21th International Symposium on Rapid System Prototyping, 1–8.
  30. [DPHD10]
    Delange, J., Pautet, L., Hugues, J. Ô., & de Niz, D. (2010). An MDE-based process for the design, implementation and validation of safety-critical systems. In Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on (pp. 319–324). IEEE.
  31. [DPK10]
    Delange, J., Pautet, L., & Kordon, F. (2010). Modeling and Validation of ARINC653 architectures. The Embedded Real Time Software and Systems Proceedings (ERTS^2).
  32. [RGRHD10]
    Raghav, G., Gopalswamy, S., Radhakrishnan, K., Hugues, J., & Delange, J. (2010). Model based code generation for distributed embedded systems.
  33. [DGHP10]
    Delange, J., Gilles, O., Hugues, J., & Pautet, L. (2010). Model-based engineering for the development of ARINC653 architectures. SAE International Journal of Aerospace, 3(1), 79–86.
  34. [COUVERTURE09]
    Bordin, M., Comar, C., Gingold, T., Guitton, J., Hainque, O., Quinot, T., … Pautet, L. (2009). Couverture: an innovative open framework for coverage analysis of safety critical applications. Ada User Journal, 30(4), 248–255.
  35. [RGRDH09]
    Raghav, G., Gopalswamy, S., Radhakrishnan, K., Delange, J., & Hugues, J. (2009). Architecture driven generation of distributed embedded software from functional models. Ground Vehicle Systems Engineering and Technology Symposium (GVSETS 2009).
  36. [DPF09]
    Delange, J., Pautet, L., & Feiler, P. (2009). Validating safety and security requirements for partitioned architectures. In Reliable Software Technologies–Ada-Europe 2009 (pp. 30–43). Springer Berlin Heidelberg.
  37. [DPPKSK09]
    Delange, J., Pautet, L., Plantec, A., Kerboeuf, M., Singhoff, F., & Kordon, F. (2009). Validate, simulate, and implement ARINC653 systems using the AADL. In ACM SIGAda Ada Letters (Vol. 29, pp. 31–44). ACM.
  38. [DHPZ08]
    Delange, J., Hugues, J., Pautet, L., & Zalila, B. (2008). Code generation strategies from aadl architectural descriptions targeting the high integrity domain. 4th European Congress ERTS, Toulouse.
  39. [DPK08]
    Delange, J., Pautet, L., & Kordon, F. (2008). Code generation strategies for partitioned systems. 29th IEEE Real-Time Systems Symposium (RTSS’08), 53–56.