The following outline is provided as an overview of and topical guide to software engineering:
Hardware acceleration is the use of computer hardware designed to perform specific functions more efficiently when compared to software running on a general-purpose central processing unit (CPU). Any transformation of data that can be calculated in software running on a generic CPU can also be calculated in custom-made hardware, or in some mix of both.
Scientific modelling is a scientific activity, the aim of which is to make a particular part or feature of the world easier to understand, define, quantify, visualize, or simulate by referencing it to existing and usually commonly accepted knowledge. It requires selecting and identifying relevant aspects of a situation in the real world and then developing a model to replicate a system with those features. Different types of models may be used for different purposes, such as conceptual models to better understand, operational models to operationalize, mathematical models to quantify, computational models to simulate, and graphical models to visualize the subject.
Shimon Y. Nof is a professor of Industrial Engineering at Purdue University in West Lafayette, Indiana. He has held visiting positions at the Massachusetts Institute of Technology and at universities in Chile, the European Union, Hong Kong, Israel, Japan, Mexico, Philippines, Taiwan, and UK. He is the Director of the Production, Robotics and Integration Software for the Manufacturing & Management (PRISM) Center at Purdue.
Abstract State Machine Language (AsmL) is a programming language based on abstract state machines developed by Microsoft. AsmL is a functional language.
The Advanced Learning and Research Institute (ALaRI), a faculty of informatics, was established in 1999 at the University of Lugano with the mission of promoting research and education in embedded systems. The Faculty of Informatics within very few years has become one of the Switzerland major destinations for teaching and research, ranking third after the two Federal Institutes of Technology, Zurich and Lausanne.
Market engineering comprises the structured, systematic and theoretically founded procedure of analyzing, designing, introducing and also quality assuring of markets as well as their legal framework regarding simultaneously their market mechanisms and trading rules, systems, platforms and media, and their business models. In this context, term market stands for a set of rules defining the exchange of information between participants to conduct transactions at minimized cost. Market Engineering borrows concepts and methods from Economics, particularly, Game Theory, and Mechanism Design concepts, but also borrows concepts from Finance, Information Systems and Operations Research. It finds particular application in the context of electronic market platforms.
A cyber-physicalsystem (CPS) or intelligent system is a computer system in which a mechanism is controlled or monitored by computer-based algorithms. In cyber-physical systems, physical and software components are deeply intertwined, able to operate on different spatial and temporal scales, exhibit multiple and distinct behavioral modalities, and interact with each other in ways that change with context. CPS involves transdisciplinary approaches, merging theory of cybernetics, mechatronics, design and process science. The process control is often referred to as embedded systems. In embedded systems, the emphasis tends to be more on the computational elements, and less on an intense link between the computational and physical elements. CPS is also similar to the Internet of Things (IoT), sharing the same basic architecture; nevertheless, CPS presents a higher combination and coordination between physical and computational elements.
An Executable Architecture (EA), in general, is the description of a system architecture in a formalnotation together with the tools that allow the automatic or semi-automatic generation of artifacts from that notation and which are used in the analysis, refinement, and/or the implementation of the architecture described.
Dr.Vladimír Székely was a Hungarian electrical engineer, professor emeritus at the Budapest University of Technology and Economics and a corresponding member of the Hungarian Academy of Sciences. He was Head of Department of Electron Devices at the Budapest University of Technology and Economics between 1990 and 2005. He published research results in 360 peer-reviewed papers listed in Web of Science, the most cited being referenced over 200 times, along with 12 books or book-chapters based on his theoretical and practical results.
Knowledge-based configuration, or also referred to as product configuration or product customization, is an activity of customising a product to meet the needs of a particular customer. The product in question may consist of mechanical parts, services, and software. Knowledge-based configuration is a major application area for artificial intelligence (AI), and it is based on modelling of the configurations in a manner that allows the utilisation of AI techniques for searching for a valid configuration to meet the needs of a particular customer.
Stephanie Forrest is an American computer scientist and director of the Biodesign Center for Biocomputing, Security and Society at the Biodesign Institute at Arizona State University. She was previously Distinguished Professor of Computer Science at the University of New Mexico in Albuquerque. She is best known for her work in adaptive systems, including genetic algorithms, computational immunology, biological modeling, automated software repair, and computer security.
T.H. Tse is a Hong Kong academic who is a professor and researcher in program testing and debugging. He is ranked internationally as the second most prolific author in metamorphic testing. According to Bruel et al., "Research on integrated formal and informal techniques can trace its roots to the work of T.H. Tse in the mid-eighties." The application areas of his research include object-oriented software, services computing, pervasive computing, concurrent systems, imaging software, and numerical programs. In addition, he creates graphic designs for non-government organizations.
System-level simulation (SLS) is a collection of practical methods used in the field of systems engineering, in order to simulate, with a computer, the global behavior of large cyber-physical systems.
Larry E. Druffel is an American engineer, Director Emeritus and visiting scientist at the Software Engineering Institute (SEI) at Carnegie Mellon University. He has published over 40 professional papers/reports and authored a textbook. He is best known for leadership in: (1) bringing engineering discipline and supporting technology to software design and development, and (2) addressing network and software security risks.
Rajesh K. Gupta is a computer scientist and engineer, currently the Qualcomm Professor in Embedded Microsystems at University of California, San Diego. His research concerns design and optimization of cyber-physical systems (CPS). He is a Principal Investigator in the NSF MetroInsight project and serves as Associate Director of the Qualcomm Institute. His research contributions include SystemC and SPARK Parallelizing High-level Synthesis. Earlier he led NSF Expeditions on Variability in Microelectronic circuits.
David Atienza Alonso is a Spanish/Swiss scientist in the disciplines of computer and electrical engineering. His research focuses on hardware‐software co‐design and management for energy‐efficient and thermal-aware computing systems, always starting from a system‐level perspective to the actual electronic design. He is a full professor of electrical and computer engineering at the Swiss Federal Institute of Technology in Lausanne (EPFL) and the head of the Embedded Systems Laboratory (ESL). He is an IEEE Fellow (2016), and an ACM Fellow (2022).
Ragunathan "Raj" Rajkumar is the George Westinghouse Professor of Electrical and Computer Engineering at Carnegie Mellon University in Pittsburgh, Pennsylvania. He is also affiliated with the Robotics Institute and the Heinz School of Information Systems and Public Policy at Carnegie Mellon University. He also serves as the Director of the Metro21 Smart Cities Institute and as the Director of the Mobility21 USDOT National University Transportation Center at Carnegie Mellon University. He also leads the General Motors-CMU Connected and Autonomous Driving Collaborative Research Laboratory (CAD-CRL), and the Real-Time and Multimedia Systems Lab (RTML) there.
Arthur Frank Witulski is an American electrical engineer. He is the Research Associate Professor Electrical Engineering and Computer Science at Vanderbilt University, where his research activities focus on microelectronics and semiconductor devices. He is affiliated with the Radiation Effects and Reliability Group at Vanderbilt University, where he works on the effects of radiation on semiconductor devices and integrated circuits. He also serves as an engineer at the Institute for Space and Defense Electronics at Vanderbilt. He is best known for his work in the field of Power electronics and ionizing radiation response of DC-to-DC converter.
Birgit Vogel-Heuser is a German computer scientist and professor at The Technical University of Munich (TUM). She has been cited over 5,000 times. Vogel-Heuser's research focuses on systems and software engineering, and modeling of distributed embedded systems.
