Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Aviation (3)
- Computer and Systems Architecture (2)
- Hardware Systems (2)
- Aerospace Engineering (1)
- Aviation Safety and Security (1)
-
- Computer Sciences (1)
- Digital Communications and Networking (1)
- Education (1)
- Electrical and Computer Engineering (1)
- Higher Education (1)
- Information Security (1)
- Multi-Vehicle Systems and Air Traffic Control (1)
- Physical Sciences and Mathematics (1)
- Statistical Models (1)
- Statistics and Probability (1)
- Keyword
-
- Airline industry (1)
- Assurance (1)
- Aviation systems certification (1)
- Computer security (1)
- Curricula (1)
-
- Dependable systems (1)
- Engineering (1)
- Engineering education (1)
- FPGA (1)
- Graduate students (1)
- Hardware certification (1)
- Independent component analysis (ICA) algorithm (1)
- Measurements (1)
- Mobile communication (1)
- Modeling (1)
- NEAR Lab (1)
- Next-Generation ERAU Advanced Research Laboratory (1)
- Online learning algorithm (1)
- Optimum block adaptive ICA algorithm (1)
- Real-time systems (1)
- Real-world systems (1)
- Safety (1)
- Safety-critical systems (1)
- Security (1)
- Software (1)
- Software engineering (1)
- Software-intensive systems (1)
- Telecommunication (1)
- Tool qualification (1)
Articles 1 - 6 of 6
Full-Text Articles in Computer Engineering
Keeping The Skies Safe, Massood Towhidnejad, Andrew J. Kornecki
Keeping The Skies Safe, Massood Towhidnejad, Andrew J. Kornecki
Department of Electrical Engineering and Computer Science - Daytona Beach
Professors Massood Towhidnejad and Andrew Kornecki shine a light on how their lab is helping government and the aviation industry to enhance the safety and security of software-intensive systems.
Measuring Security: A Challenge For The Generation, Janusz Zalewski, Steven Drager, William Mckeever, Andrew J. Kornecki
Measuring Security: A Challenge For The Generation, Janusz Zalewski, Steven Drager, William Mckeever, Andrew J. Kornecki
Department of Electrical Engineering and Computer Science - Daytona Beach
This paper presents an approach to measuring computer security understood as a system property, in the category of similar properties, such as safety, reliability, dependability, resilience, etc. First, a historical discussion of measurements is presented, beginning with views of Hermann von Helmholtz in his 19th century work “Zählen und Messen”. Then, contemporary approaches related to the principles of measuring software properties are discussed, with emphasis on statistical, physical and software models. A distinction between metrics and measures is made to clarify the concepts. A brief overview of inadequacies of methods and techniques to evaluate computer security is presented, followed by …
Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski
Hardware Certification For Real-Time Safety-Critical Systems: State Of The Art, Andrew J. Kornecki, Janusz Zalewski
Department of Electrical Engineering and Computer Science - Daytona Beach
This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented.
Graduate Curricula In Software Engineering And Software Assurance: Need And Recommendations, T. B. Hilburn, Andrew J. Kornecki
Graduate Curricula In Software Engineering And Software Assurance: Need And Recommendations, T. B. Hilburn, Andrew J. Kornecki
Department of Electrical Engineering and Computer Science - Daytona Beach
In discussions about the development and use of computer systems and software products, the term “professional software engineer” is used repeatedly. In the last two decades there has been significant effort devoted to enhancing and advancing the state of professional software engineering (SwE) – new software engineering processes, methods, tools, and practices; creation of a software engineering body of knowledge [1]; development of a code of ethics and professional conduct [2], and software certification and licensing programs [3] . In 1989 the Software Engineering Institute (SEI) of Carnegie Mellon University published a landmark report on graduate education in software engineering …
Dependable And Certifiable Real-World Systems – Issue Of Software Engineering Education, Andrew J. Kornecki
Dependable And Certifiable Real-World Systems – Issue Of Software Engineering Education, Andrew J. Kornecki
Department of Electrical Engineering and Computer Science - Daytona Beach
Embedded software and dedicated hardware are vital elements of the modern world, from personal electronics to transportation, from communication to aerospace, from military to gaming, from medical systems to banking. Combinations of even minor hardware or software defects in a complex system may lead to violation of safety with or even without evident system failure, a major problem that the computing profession faces is the lack of a universal approach to unite the dissimilar viewpoints presented by computer science, with its discrete and mathematical underpinnings, and by computer engineering, which focuses on building real systems and considering spatial and material …
A Gradient-Based Optimum Block Adaptation Ica Technique For Interference Suppression In Highly Dynamic Communication Channels, Wasfy B. Mikhael, Tianyu Yang
A Gradient-Based Optimum Block Adaptation Ica Technique For Interference Suppression In Highly Dynamic Communication Channels, Wasfy B. Mikhael, Tianyu Yang
Department of Electrical Engineering and Computer Science - Daytona Beach
The fast fixed-point independent component analysis (ICA) algorithm has been widely used in various applications because of its fast convergence and superior performance. However, in a highly dynamic environment, real-time adaptation is necessary to track the variations of the mixing matrix. In this scenario, the gradient-based online learning algorithm performs better, but its convergence is slow, and depends on a proper choice of convergence factor. This paper develops a gradient-based optimum block adaptive ICA algorithm (OBA/ICA) that combines the advantages of the two algorithms. Simulation results for telecommunication applications indicate that the resulting performance is superior under time-varying conditions, which …