References

  1. Adelard, London, United Kingdom (1998): The Adelard safety case development (ASCAD). Available at https://www.adelard.com/resources/ascad.html. [Available upon request].
  2. Karl J. Åström & Björn Wittenmark (2013): Adaptive Control, 2nd edition, Dover Books on Electrical Engineering. Dover Publications.
  3. Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber & Joseph Sifakis (2016): A general framework for architecture composability. Formal Aspects of Computing 28(2), pp. 207–231, doi:10.1007/s00165-015-0349-8.
  4. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen & Joseph Sifakis (2011): Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 28(3), pp. 41–48, doi:10.1109/MS.2011.27.
  5. Simon Bliudze, Sébastien Furic, Joseph Sifakis & Antoine Viel (2017): Rigorous design of cyber-physical systems. Software & Systems Modeling, pp. 1–24, doi:10.1007/s10270-017-0642-5.
  6. Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith & Josef Widder (2015): Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool Publishers, doi:10.2200/S00658ED1V01Y201508DCT013.
  7. Vinton G. Cerf (2017): Take Two Aspirin and Call Me in the Morning. Commun. ACM 60(9), pp. 6–6, doi:10.1145/3130331.
  8. Edmund M. Clarke, E. Allen Emerson & Joseph Sifakis (2009): Model Checking: Algorithmic Verification and Debugging. Commun. ACM 52(11), pp. 74–84, doi:10.1145/1592761.1592781.
  9. Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley & Joseph Sifakis (2005): QoS Control for Optimality and Safety. In: Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT '05. ACM, New York, NY, USA, pp. 90–99, doi:10.1145/1086228.1086247.
  10. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis & Loïc Strus (2008): Symbolic quality control for multimedia applications. Real-Time Systems 40(1), pp. 1–43, doi:10.1007/s11241-008-9049-2.
  11. Richard A. De Millo, Richard J. Lipton & Alan J. Perlis (1979): Social Processes and Proofs of Theorems and Programs. Commun. ACM 22(5), pp. 271–280, doi:10.1145/359104.359106.
  12. Rocco De Nicola, Alessandro Maggi & Joseph Sifakis (2018): DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). ArXiv e-prints arXiv:1805.03724 [cs:FL]. Available at https://arxiv.org/abs/1805.03724.
  13. Rim El Ballouli, Saddek Bensalem, Marius Bozga & Joseph Sifakis (2018): DR-BIPProgramming Dynamic Reconfigurable Systems. Technical Report TR-2018-3. Verimag Research Report.
  14. Darrell Etherington (2018): Uber self-driving test car involved in accident resulting in pedestrian death. TechCrunch article. Available at http://tcrn.ch/2GJjrYT. [Online; accessed 03-June-2018].
  15. Steven M. German & A. Prasad Sistla (1992): Reasoning About Systems with Many Processes. J. ACM 39(3), pp. 675–735, doi:10.1145/146637.146681.
  16. Samuel Greengard (2016): Cybersecurity Gets Smart. Commun. ACM 59(5), pp. 29–31, doi:10.1145/2898969.
  17. Nicolas Halbwachs (1993): Synchronous Programming of Reactive Systems. Springer, Boston, MA, doi:10.1007/978-1-4757-2231-4.
  18. Daniel Howley (2018): Warren Buffett: 'Cyber is uncharted territory and it's going to get worse, not better'. Yahoo Finance article. Available at https://finance.yahoo.com/news/warren-buffett-cyber-uncharted-territory-going-get-worse-not-better-164025140.html. [Online; accessed 03-June-2018].
  19. Ivar Jacobson & Ed Seidewitz (2014): A New Software Engineering. Commun. ACM 57(12), pp. 49–54, doi:10.1145/2677034.
  20. Nidhi Kalra & Susan M. Paddock (2016): Driving to Safety: How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability?. Technical Report RR-1478-RC. RAND Corporation, Santa Monica, Calif., doi:10.7249/RR1478. Available at https://www.rand.org/pubs/research_reports/RR1478.html. [Online; accessed 03-June-2018].
  21. Timothy B. Lee (2018): Intel's Mobileye wants to dominate driverless carsbut there's a problem. Ars Technica article. Available at https://arstechnica.com/?post_type=post&p=1310863. [Online; accessed 03-June-2018].
  22. Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione & Antony Tang (2013): What Industry Needs from Architectural Languages: A Survey. IEEE Transactions on Software Engineering 39(6), pp. 869–891, doi:10.1109/TSE.2012.74.
  23. National Highway Traffic Safety Administration (2016): Federal Automated Vehicles Policy, Accelerating the Next Revolution In Roadway Safety. United States Department of Transportation, Washington, D.C., United States. Available at http://www.safetyresearch.net/Library/Federal_Automated_Vehicles_Policy.pdf.
  24. Alfred Ng (2018): Google, Microsoft find another Spectre, Meltdown flaw. CNET article. Available at https://cnet.co/2kfledW. [Online; accessed 03-June-2018].
  25. Shai Shalev-Shwartz, Shaked Shammah & Amnon Shashua (2017): On a Formal Model of Safe and Scalable Self-driving Cars. ArXiv e-prints arXiv:1708.06374v2 [cs.RO]. Available at https://arxiv.org/abs/1708.06374v2.
  26. Joseph Sifakis (2013): Rigorous System Design. Foundations and Trendsin Electronic Design Automation 6(4), pp. 293–362, doi:10.1561/1000000034.
  27. Joseph Sifakis (2015): System Design Automation: Challenges and Limitations. Proceedings of the IEEE 103(11), pp. 2093–2103, doi:10.1109/JPROC.2015.2484060.
  28. Stefanos Skalistis & Alena Simalatsar (2017): Near-optimal deployment of dataflow applications on many-core platforms with real-time guarantees. In: Design, Automation and Test in Europe Conference Exhibition (DATE), 2017, pp. 752–757, doi:10.23919/DATE.2017.7927090.
  29. David A. Watt, Brian A. Wichmann & William Findlay (1987): Ada Language and Methodology. Prentice Hall International (UK) Ltd., Hertfordshire, UK.
  30. Wikipedia contributors (2018): Autonomous carWikipedia, The Free Encyclopedia. Available at https://en.wikipedia.org/w/index.php?title=Autonomous_car&oldid=843974758. [Online; accessed 03-June-2018].
  31. Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat & Per Stenström (2008): The Worst-case Execution-time ProblemOverview of Methods and Survey of Tools. ACM Trans. Embed. Comput. Syst. 7(3), pp. 36:1–36:53, doi:10.1145/1347375.1347389.
  32. Ali Zolghadri (2012): Advanced model-based FDIR techniques for aerospace systems: Today challenges and opportunities. Progress in Aerospace Sciences 53, pp. 18–29, doi:10.1016/j.paerosci.2012.02.004.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org