High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Dr. Benjamin Brosgol is a senior member of the technical staff at AdaCore in the US. He has been involved with programming language design and implementation for more than 30 years, concentrating on languages and technologies for high-integrity systems. He participated in the design of Ada 83 and Ada 95, and he was a member of the Expert Group for the Real-Time Specification for Java. Dr. Brosgol has presented papers and tutorials at numerous conferences including Ada-Europe, ACM SIGAda, ESC (Embedded Systems Conference), ICSE (IEEE/ACM International Conference on Software Engineering), and SSTC (Systems & Software Technology Conference). He has in-depth knowledge of and experience with the specific topic of Object Orientation and software safety certification, and he has delivered conference presentations and written articles and papers on this subject. Dr. Brosgol holds a BA in Mathematics from Amherst College, and MS and PhD degrees in Applied Mathematics from Harvard University.
Peter Chapin is a professor of computer and software engineering at Vermont Technical College. At VTC he has developed and teaches an undergraduate class in SPARK. He has also worked with a team of VTC undergraduate students in building the control software, in SPARK, for a successful low Earth orbiting CubeSat mission. He is currently working with John McCormick on Building High Integrity Applications with SPARK that will be published by Cambridge University Press in 2015.
Ed has been teaching Ada and object-oriented methods since 1982, and since 1986 consulting as well. He also teaches and consults on systems engineering, software engineering and architectures, the Unified Modeling Language (UML), and the C++, and Java programming languages.
Ed consulted through the University of Southern California Center for Software & System Engineering, for the U.S. Army on architecture and engineering issues relevant to the Future Combat Systems project, and for the U.S. Department of Defense on methods, processes, and tools through USC's new research center on systems engineering. He contributed to the Lean Model-Based Software Engineering method of the USC Center for Systems & Software Engineering. Ed led research on estimating the cost of developing secure systems for the Aerospace Corporation and the Federal Aviation Administration (FAA), and on representing and analyzing security and safety concerns at an architecture level.
Ed consulted on the definition of the Architecture Analysis & Design Language (AADL) for real-time, safety- critical systems based on the UML, and Honeywell's MetaH; the ADL that is a standard of Society of Automotive Engineers (SAE). He created the Colbert Object-Oriented Software Development method ("OOSD"), which supports analysis and design for implementation in languages such as Ada, C++, and SmallTalk. NASA Langley Research Center used OOSD for a Software Engineering Process manual, choosing OOSD partly for its strength in real-time software development.
Ed has delivered presentations and tutorials at over 30 conferences, including High Integrity Languages & Technology (2013. '12); the International Society of Parametric Analysts (2006, '08), in '08 winning the Best Paper award, Tools & Methods track; Applied Computer Security Applications Conference (2005, '06); International Conference on Reliable Software Technologies (Spain 2004, France 2003, Belgium 2001); TOOLS (2000, 1995); Ada Europe (England, 1997); SIGAda (2003); TRI-Ada (1996, '95, '92, '89, '88); Ada UK (London, 1995); UNICOM (England, 1993); OOPSLA (Washington, D.C., 1993); Object Expo (New York, 1993; England, '92); LOOK (Denmark, 1992); OOP (Germany, 1992); SCOOP - Europe (England, 1991).
He is a graduate of the University of Michigan (M.S. Computer & Communication Sciences, 1981; B.S. (with distinction) Chemistry and Biology, 1979).
Jérôme Hugues (ISAE/DMIA, Toulouse, France) is associate professor at the Department of Mathematics, Computer Science, and Control of the Institute for Space and Aeronautics Engineering (ISAE). He holds a PhD (2005) and an engineering degree (2002) from Telecom ParisTech. His research interests focus on design of software-based real-time and embedded systems and tools to support it. He is a member of the SAE AS-2C committee working on the AADL; and is involved in the Ocarina and TASTE projects, two flagships AADL projects.
John McCormick is a Professor of Computer Science and the University of Northern Iowa. He is a former Chair of ACM SIGAda, recipient of the SIGAda Distinguished Service Award and the SIGAda Outstanding Ada Community Contributions Award, the co-author of three Ada textbooks (Programming and Problem Solving with Ada, Ada Plus Data Structures, and Building Parallel, Embedded, and Real-Time Applications with Ada). He is currently working with Peter Chapin on Building High Integrity Applications with SPARK that will be published by Cambridge University Press in 2015.
He can be reached via email at mccormick at cs.uni.edu
Frank Singhoff (UBO/Lab-STICC, Brest, France) is Professor of Computer Science in the Computer Science Department at the Université de Bretagne Occidentale, France. He received his engineering degree in Computer Science from the CNAM/Paris in 1996 and his PhD from Télécom-Paris-Tech in 1999. His current research focuses on real-time scheduling theory and architecture description languages. In 2002, he started Cheddar, a toolset designed to perform analysis with the real-time scheduling theory. Frank Singhoff is also a member of the SAE AS- 2C committee working on the AADL. He received a SIGAda Outstanding Ada Community Contributions Award in 2010.