PPT-Architecture-aware Analysis of Concurrent Software

Rajeev Alur University of Pennsylvania Amir Pnueli Memorial Symposium New York University May 2010 Joint work with Sebastian Burckhardt Sela MadorHaim Milo Martin. http://www.imagix.com Imagix products are used for reverse-engineering, quality analysis and documentation of software in applications ranging from deep space communication and air traffic control systems, to billing and management information systems, to safety critical automotive systems, communication devices and medical instrumentation. Software Architectures. 2. What Is Architectural Analysis?. Architectural analysis. is the activity of discovering important system properties using the system. ’. s architectural models.. Early, useful answers about relevant architectural aspects. Eric M. . Dashofy. February . 27, . 2013. On . Bogosity. bogus. adj.. 1. Non-functional. "Your patches are bogus." 2. Useless. "OPCON is a bogus program." 3. False. "Your arguments are bogus." 4. Incorrect. "That algorithm is bogus." 5. Unbelievable. "You claim to have solved the halting problem for Turing Machines? That's totally bogus." 6. Silly. "Stop writing those bogus sagas." . and AgilE Development. Agility and . Architecture:Can. . They Coexist?. Pekka. . Abrahamsson. , . University of Helsinki . Muhammad Ali Babar, . IT University . of Copenhagen. Philippe . Kruchten. , . Subodh Sharma. Indian Institute of Technology Delhi. Scalable Symbolic Execution: KLEE. Acknowledgement . C. . Cadar. , D. Dunbar, D. . Engler. : KLEE, OSDI’08. Godefroid. , . Klarlund. , . Sen. : DART, PLDI ‘05. Introduction: slides 2-6 15 minutes. Details: slides 7-11 15 minutes. Won’t present slides 12-19 but they should stay in slide deck. Software Architecture. 1. Software Architecture. Jim Fawcett. Eric M. . Dashofy. February . 27, . 2013. On . Bogosity. bogus. adj.. 1. Non-functional. "Your patches are bogus." 2. Useless. "OPCON is a bogus program." 3. False. "Your arguments are bogus." 4. Incorrect. "That algorithm is bogus." 5. Unbelievable. "You claim to have solved the halting problem for Turing Machines? That's totally bogus." 6. Silly. "Stop writing those bogus sagas." . What is Architecture?. Software Architecture. is the structure and organization of high-level components in a software system. This includes high level . components. and the . relationships. between these components.. rd. Ed). Introduction. The Many Contexts of Software Architecture. Architecture in a Technical Context. . Architectures inhibit or enable the achievement of quality attributes. . Architectures and the technical environment. SENG 301. Learning Objectives. By the end of this lecture, you should be able to:. Understand the distinction between software architecture and design patterns. Identify the three major questions that a software architecture answers. By . Zhiying. Lin. What is Domain-specific software engineering ( DSSE . ) ?. What is domain-specific software architecture ( DSSA ) ?. How can DSSA be processed ?. Summary.. . . Agenda. 2. What is DSSE ?. Software Architecture Chris “Big horn” Horne, Nolan “N-thug” kelly , Nairn “ BAker ” Tsang, dave “chocolate milk” ryan , sean “whacky hat” boyd , Mark “The whopper” D’Adamo Software Architecture. What is a Software Architecture?. The description of the structure of a software system, which is composed of software elements, their externally visible properties and their relationships to each other..  . Client-Server Software.  .  .  .  .  .  . Dr. M . Dakshayini. ,. Professor, Dept. of ISE, BMSCE, Bangalore. . 3.1 Introduction. The term . concurrency . refers . - real or apparent ....