A5069587313- Software Engineering Research
- Systems Engineering Methodologies and Applications
- Advanced Software Engineering Methodologies
- Software Reliability and Analysis Research
- Software Engineering Techniques and Practices
- Software System Performance and Reliability
- Model-Driven Software Engineering Techniques
- Advanced Malware Detection Techniques
- Internet Traffic Analysis and Secure E-voting
- Safety Systems Engineering in Autonomy
- Spam and Phishing Detection
- Manufacturing Process and Optimization
- Simulation Techniques and Applications
- Flexible and Reconfigurable Manufacturing Systems
- Semantic Web and Ontologies
- Parallel Computing and Optimization Techniques
- Human-Automation Interaction and Safety
- User Authentication and Security Systems
- Library Science and Information Systems
- Software Testing and Debugging Techniques
- Technology Assessment and Management
- Scientific Computing and Data Management
- Gaze Tracking and Assistive Technology
- Advanced Data Storage Technologies
- Online Learning and Analytics
Technion – Israel Institute of Technology
2019-2024
Netanya Academic College
2005-2024
Augusta University
2020
University of Connecticut
2019
Hebrew University of Jerusalem
2012-2016
Bar-Ilan University
2004-2008
In spite of the use standard Web security measures (SSL/TLS), users enter sensitive information such as passwords into fake sites. Such sites cause substantial damages to individuals and corporations. this work, we identify several vulnerabilities browsers, focusing on identification indicators. We present improved indicators, implemented in TrustBar, a browser extension developed. With can assign name or logo SSL/TLS-protected sites; if did not logo, TrustBar identifies protected by site,...
It is naturally easier to comprehend simple code relative complicated code. Regrettably, there little agreement on how effectively measure complexity. As a result generalpurpose metrics are often used, such as lines of (LOC), Mc- Cabe's cyclomatic complexity (MCC), and Halstead's metrics. But just count syntactic features, ignore details the code's global structure, which may also have an effect understandability. In particular, we suggest that regularity—where same structures repeated time...
We present a model-based systems engineering (MBSE) framework using object-process methodology (OPM, ISO 19450) for civil transport aircraft design with dynamic landing constraints. The integrates the system development life cycle processes into holistic MBSE model, incorporating it specific loads (MBD) domain. Using this framework, we also perform requirements analysis, validation, and verification. model parameter set is governed by unified format used both MBD domains. resulting enables...
Regular code, which includes repetitions of the same basic pattern, has been shown to have an effect on code comprehension: a regular function can be just as easy comprehend irregular one with functionality, despite being longer and including more control constructs. It speculated that this is due leveraging understanding first instances ease repeated pattern. To verify quantify effect, we use eye tracking measure time effort spent reading code. The results are invested in initial segments...
Abstract For decades, business process improvement (BPI) has been a persistent and expensive concern that spans across many industry sectors. We present OPM‐BPI—a model‐based method to improve processes using ISO 19450—Object‐Process Methodology (OPM). The approach compares favorably state‐of‐the‐art languages approaches, such as Business Process Modeling Notation (BPMN). An aviation manufacturing company case study of safely removing part from an aircraft reinstalling it demonstrates the...
McCabe's Cyclomatic Complexity (MCC) is a widely used metric for the complexity of control flow. Common usage decrees that functions should not have an MCC above 50, and preferably much less. However, Linux kernel includes more than 800 with values over years 369 had 100 or more. Moreover, some these undergo extensive evolution, indicating developers are successful in coping supposed high complexity. We attempt to explain this by analyzing structure such showing many cases they fact...
Regular code, which includes repetitions of the same basic pattern, has been shown to have an effect on code comprehension: a regular function can be just as easy comprehend irregular one with functionality, despite being longer and including more control constructs. It speculated that this is due leveraging understanding first instances ease repeated pattern. To verify quantify effect, we use eye tracking measure time effort spent reading code. The results are invested in initial segments...
The Linux kernel is configured for specific uses by manipulations of the source code during compilation process. These are performed C pre-processor (CPP), based on in-line directives. Such directives, and interleaving multiple versions that they allow, may cause difficulties in comprehension. To better understand effects CPP, we perform a deep analysis configurability kernel. We found significant inconsistencies between configuration control system. Focusing thousands config options...
We present a model-based systems engineering (MBSE) framework using object-process methodology (OPM, ISO 19450) for civil transport aircraft design with dynamic landing constraints. The integrates the system development life cycle processes into holistic MBSE model, incorporating it specific loads (MBD) domain. Using this framework, we also perform requirements analysis, validation, and verification. model parameter set is governed by unified format used both MBD domains. resulting enables...
Model-based systems engineering applies a variety of model kinds, each with its own fidelity and exactness level. Based on experience we gained while modeling an aircraft landing gear the objective numerically defining various parameters that fulfill safety requirements, present hierarchy (MFH). At this hierarchy's bottom, vaguest level, is spoken language, followed by free written text, conceptual model, augmentation computational capabilities, finally executable version model. Using...
Program comprehension is a vital mental process in any maintenance activity. It becomes decisive as functions get larger. Such are burdened with very many programming constructs lines of code (LOC) strongly correlate the McCabe's cyclomatic complexity (MCC). This makes it hard to capture whole such and result hinders grasping their structural properties that might be essential for maintenance. visualization known key solution assists comprehending complex systems. As matter fact we have...
Abstract The lack of a common executable modeling framework that integrates systems engineering, software design, and other engineering domains is major impediment to seamless product development processes. Our research aims overcome this system‐software gap by integrating computational, software‐related, model execution capabilities into OPM‐based conceptual modeling, resulting in holistic unified quantitative‐qualitative framework. via Methodical Approach Executable Integrative...
Code comprehension is a mental process in any maintenance activity. It becomes decisive large methods. Such methods are burdened with programming constructs as lines of code (LOC) correlate McCabe's cyclomatic complexity (MCC). This makes it hard to capture their code, they span many pages even screens, and result hinders grasping structural properties that might be key for maintenance. Visualization can assist comprehending complex systems. has been shown control structure diagrams (CSDs)...
Variability in software systems is often expressed using the C pre-processor (CPP). However, CPP has been identified as problematic. We argue that not bad its reputation suggests, and indeed many large use it effectively. perform a deep analysis of Linux configuration options, find significant inconsistencies between source code control system. found distribution config options heavy-tailed, with some having more than thousand instances code. Such wide seems to imply massive coupling...
Code comprehension is a vital mental process in any maintenance activity. It becomes decisive large code blocks, particular those that are governed by if-else statements. These blocks increase the spatial distance between if statement and its else counterpart or other dependent This increased complexity makes it hard for developer to recall logical expression he has just read understood, so needs go back again, then understand it, eventually negate get implicit expression. In extreme cases...
We define and demonstrate the use of OPM-TA-a model-based task analysis (TA) framework that uses object-process methodology (OPM) ISO 19450 as a viable alternative to traditional TA techniques.A variety different methods exist in human factors engineering, several them are often applied successively for broad representation, making it difficult follow.Using OPM-TA, we modeled how an International Space Station (ISS) astronaut would support extravehicular activities using existing robotic arm...