Abstract: The increasing global availability of broadband access to the Internet has led to the creation and distribution of malicious software and financially-oriented underground economies of criminals. Annual economic loss attributed to malicious software activities is estimated at more than US $10 Billion. Malicious activities are no more limited to single hackers and DDoS attacks, but range from hardware Trojans to more complex insider and outsider attacks in cloud computing systems. These attacks can take down critical infrastructures such as the power grid, financial trading platform or large data centers. Isolation has been one of the most effective solutions in connected SCADA-based systems. However, the practicability of early solutions as well as the need for high-speed communication have prevented a wider adoption of isolation as a means to tackle security. Recently, there has been a resurgence in isolation as a means to mitigate cyber attacks.Bio: Dr. Bobda is Professor of Computer Engineering at the University of Arkansas, in Fayetteville, AR. Dr. Bobda received the Licence in mathematics from the University of Yaounde, Cameroon, in 1992, the diploma of computer science and the Ph.D. degree (Summa Cum Laude) in computer science from the University of Paderborn in Germany in 1999 and 2003 respectively. In June 2003 he joined the department of computer science at the University of Erlangen-Nuremberg in Germany as Post doc. In 2005 Dr. Bobda was appointed Assistant Professor at the University of Kaiserslautern, Germany where set the research lab for self-organizing embedded systems that he led until October 2007 before being promoted to Professor at University of Potsdam in 2007. Dr. Bobda led the working Group Computer Engineering at the University of Potsdam until 2010 when he accepted a faculty position as associate professor at the University of Arkansas where he founded the smart embedded systems lab. Dr. Bobda was tenured and promoted to the rank of full professor at the University of Arkansas in 2016. Dr. Bobda has published more than 150 papers in leading journals and conferences, has a citation count and his work has been downloaded more than 9000 times. Dr. Bobda research interests include embedded systems, system on chip and system on FPGA, computer architecture, with application in embedded imaging, high-performance computing and cyber security. Dr. Bobda’s research has been sponsored by multiple national and international organizations including the National Science Foundation (NSF), the Air Force Research Lab, the Navy, the German Research Association (DFG) and the German French University.
Abstract: Today's major systems rely heavily on software-enabled capabilities. However, many programs acquiring new systems first determine the physical items to develop, assuming the contractors for those items will provide all needed software for the capability. However, software by its nature spans physical items: it provides the inter-system communications that have a direct influence on most capabilities, and thus must be architected intelligently, especially when different contractors build pieces. If architecture step is not done properly, a software-reliant project can be set up to fail from the first architectural decision.
In this talk, we present why is important to consider Software on the early Systems Engineering Activities. The talk will discuss current work and effort at the Embraer Systems Engineering process, particularly the software architects and Systems Architect relation in the early activities with a practical and motivation view to the public considering Safety, Security and CyberSecurity emergent proprieties on the Systems Concept phases.Bio: Ricardo Moraes is Senior Systems Engineer - Chief Engineer Office at EMBRAER S/A, Brazil. At the beginning of his career, his work was focused on systems integration aimed at commercial aviation in order to understand aspects of safety and its nuances in development. During the course of his career, with the results of seven years focused on commercial aviation, he dedicated to systems theory, systems engineering and systems approach, as well as corporate architecture. In this period and up to the present day, his attributions and contributions not only for EMBRAER but for INCOSE in Brazil, are related to the themes: Systems Science, Systems Approach, Systems Theory, STAMP - Systems Approach to Safety, Complexy Systems (Management Complexity), CyberSecurity and Securty, Systems Architecture, and Enterprise architecture..
Abstract: Model-based development of embedded controllers and cyber-physical systems relying on a set of design automation tools and considering reconfigurable computing platforms can effectively support their rapid prototyping. Petri nets were selected as the reference modeling formalism supporting a comprehensive specification and documentation of the system, integrating graphical expressiveness with formal verification capabilities. A web-based tools framework (the IOPT-Tools tool chain) using a specific class of Petri nets (IOPT-nets, the Input-Output Place-Transition Petri nets) will be presented illustrating the whole development process from specification to implementation, including specific web-tools for model’s edition and properties verification, including simulation and debugging capabilities. Automatic code generators (of VHDL for hardware-based implementation and C for software-oriented implementation) can be used allowing direct deployment into specific implementation platforms, taking advantage of hardware-software co-design techniques. Globally Asynchronous Locally Synchronous paradigm is also supported by IOPT-nets, through the addition of the concepts of time domains and communication channels, allowing the partitioning of the model into several components and their distributed execution.Bio: Luis Gomes received his Electrotech. Eng. Degree from Technical University of Lisbon, Portugal, in 1981, and a PhD degree in Digital Systems from University NOVA Lisbon, Portugal, in 1997. He is as Associate Professor with Habilitation at the Electrical and Computer Engineering Department, Faculty of Sciences and Technology of University NOVA Lisbon, Portugal and a researcher at UNINOVA Institute, Portugal. From 1984 to 1987, he was with EID, a Portuguese medium enterprise, in the area of electronic system design, in the R&D engineering department. His main interests include the usage of Petri nets and other models of concurrency, applied to reconfigurable and embedded systems co-design and cyber-physical systems. He was made Honorary Professor of Transilvania University of Brasov, Brasov, Romania, in 2007, as well as Honorary Professor of Óbuda University, Budapest, Hungary, in 2014. He received the IEEE Industrial Electronics Society Anthony J Hornfeck Service Award in 2016. Dr. Gomes is author/co-author of more than 300 papers and chapters published in journals, books and conference proceedings, as well as co/author of one book and co-editor for three books..