System Assurances: Modeling and Management

System Assurances
Copyright
Contributors
Preface
Acknowledgments
Statistical analysis approach for the quality assessment of open-source software
	Introduction
	Correspondence analysis
	Estimation procedure based on correspondence analysis
	Numerical examples
	Concluding remarks
	Acknowledgment
	References
Analytical modeling and performance evaluation of SIP signaling protocol: Analytical modeling of SIP
	Introduction
	Background work
		Motivation
		Main contribution
	SIP layered structure and its working
		Types of responses of SIP
		Layered structure and working of SIP
	Proposed SRN model of SIP INVITE transaction
		SRN and its attributes
		Proposed SRN model of SIP INVITE transaction
	Performance measures
		Throughput
			Goodput
			Badput
		Latency
	Numerical illustration
		Results and discussion
	Model validation
	Conclusions
	Acknowledgments
	References
An empirical validation for predicting bugs and the release time of open source software using entropy measures-Software reliability growth models
	Introduction
	Information measures
		Predicting bugs and the release time of open source software
	Conclusion
	References
Risk assessment of starting air system of marine diesel engine using fuzzy failure mode and effects analysis
	Introduction
	Starting air system
		Explosion in starting air system
	Failure mode and effects analysis (FMEA)
	The proposed methodology
	An illustrative example: Starting air system
	Results
	Sensitivity analysis
	Conclusions
	References
Test scenario generator learning for model-based testing of mobile robots
	Introduction
	Related work
	Preliminaries
		Model-based testing
		TestIt toolkit
	Tool architecture
		State-space exploration
		Clustering state space
		KMeans
		Postclustering analysis
		Automaton construction
		Model refinement
		Model checking
	Validation
		Exploration
		Clustering and creating the automata
		Results
	Conclusion
	References
Testing effort-dependent software reliability growth model using time lag functions under distributed environment
	Introduction
	Software reliability growth modeling
		Framework for modeling
		Model assumptions and notations used
			Proposed model assumptions
			Notations for model
		Modeling testing effort
		Modeling simple, hard, and complex faults
			Modeling reused components for fault removal
				Simple fault modeling
			Newly developed component modeling for fault removal
				Hard fault modeling
				Modeling complex faults
			Total fault removal phenomenon modeling
	Parameter estimation
	Comparison of SRGM criteria
		Criteria for goodness of fit
	Data description and model validation
	Conclusion
	References
Design and performance analysis of MIMO PID controllers for a paper machine subsystem
	Introduction
	Controller tuning
	Result analysis
	Conclusion
	References
Network and security leveraging IoT and image processing: A quantum leap forward
	Introduction
	Comparative study
		Vehicular sensor networks
		Biometrics
			First stage
			Second stage
			Third stage
			Fourth stage
		Network and security
		Medical applications (healthcare)
		Protocols
			DDoS attack and solution
			Man in the middle attack
		Image processing:
	Conclusion
	References
Modeling software patching process inculcating the impact of vulnerabilities discovered and disclosed
	Introduction
	Literature review
	Notations
	Model development
		Vulnerability detection process
		Vulnerability disclosure process
		Vulnerability patching process
	Model illustration
	Conclusion
	Acknowledgment
	References
Extension of software reliability growth models by several testing-time functions
	Introduction
		Background for development of bivariate SRGMs
		Our proposed bivariate SRGMs
	Software reliability assessment using bivariate SRGMs
		Existing nonhomogeneous Poisson process (NHPP) model
		Bivariate NHPP models based on testing-time functions
		Parameter estimation
		Bivariate software reliability assessment measures
		Numerical examples
	Bivariate Weibull-type SRGMs and their application
		Bivariate Weibull-type SRGMs based on testing-time functions
		Parameter estimation
		Bivariate Weibull-type SRGMs under budget constraints
		Numerical examples
	Conclusions
	Acknowledgments
	References
A semi-Markov model of a system working under uncertainty
	Introduction
	Notations
	Development of system model
		States of system model
		Transition probability
		Mean sojourn times
	Performance measures
		Reliability and mean time-to-system failure
		Steady-state availability
		Busy period analysis for the server
		Expected number of treatment given to the server
		Expected number of repairs given to the switch
		Expected number of repairs given to the unit
		Expected number of server visits
		Profit
	Simulation study
	Concluding remarks
	Acknowledgment
	References
Design and evaluation of parallel-series IRM system
	Introduction
		Lagrangean way to understand equality constraints
		Lagrangean way to understand unequal factors
	Lagrangean procedure for formulation of the problem function: cj=bjeaj1-rj
		Model analysis
	Case problem
		Efficiency design with zj rounding off
	Dynamic programming approach
		Introduction
		Dynamic way to approach programming
		Basic features of the dynamic programming approach
		Classification of dynamic programming problems
		Computational procedure in dynamic programming
		Computation in the forward and backward directions
		Development of an optimal decision policy using dynamic programming
	The integrated efficiency model by using the dynamic programming method for the function cj=bjeaj1-rj
		Dynamic programming solution
	Conclusions
	Further reading
Modeling and availability assessment of smart building automation systems with multigoal maintenance
	Introduction
		Motivation
		Work-related analysis
		Goals and contribution
	Concept of multigoal maintenance
		Principles of multigoal maintenance
		Assessment of availability
	Development of models
		General model
		Availability model considering reliability and cybersecurity
		Availability model considering joint maintenance strategy
		Availability model considering separate maintenance strategy
	Research of models
	Conclusions
	References
A study of bitcoin and Ethereum blockchains in the context of client types, transactions, and underlying network architecture
	Blockchain: An insight
	Blockchain architectures
		Infrastructure layer
		Platform layer
			JSON-RPC
			Distributed computing layer
			Transactions
			Consensus
			Replication
			Security
			Application layer business logic
	Blockchain adequacy
		Data integrity
		Scalability
		Data transparency
		Reliability and availability
		Blockchain architecture design space guidelines
	Bitcoin architecture
		Bitcoin components
			Bitcoin wallets
				Nondeterministic wallet
				Deterministic wallet
				Bitcoin client types
				Full client
				Mobile wallets
				Desktop wallets
				Hardware wallets
		Bitcoin network nodes
			Functionalities of full node
			Thin client
		Bitcoin consensus
			Broadcasting transactions to the bitcoin network
			Propagating transactions on the bitcoin network
			Bitcoin network
				Peer-to-peer network architecture
				Network discovery
		Bitcoin miners
			Bitcoin mining process
		Bitcoin transactions
			Transaction lifecycle
			Creating transactions
			Transaction structure
			Summary
	Introduction of Ethereum
	Ethereums evolution
	Architecture of Ethereum
		Ethereum virtual machine
			Example of smart contract in solidity
				Ether and gas
	Ethereum components
		Ethereum accounts
		Mining in Ethereum
		Ethereum clients
			Geth
			Parity
			Ethereum clients (nodes)
				Full node
					Advantages and disadvantages
					Advantages
					Disadvantages
			Software requirements for building and running a client (node)
		Ethereum transaction
			Structure of Ethereum transaction
				The transaction nonce
				Transaction gas
				Transaction recipient
				Transaction value and data
				Special transaction
		Ethereum networks
			Public Testnet advantages and disadvantages
				Advantages
				Disadvantages
			Local Blockchain simulation advantages and disadvantages
				Advantages
				Disadvantages
			Running an Ethereum client
			Hardware requirements for a full node
			Summary
	Conclusion
	References
	Further reading
High assurance software architecture and design
	Introduction
	Software architecture patterns
		Client-server pattern
			Components of client-server architecture
			Advantages of client-server architecture
		Layered architecture pattern
			Components of layered architecture
			Advantages of layered architecture
		Model-view-controller (MVC) pattern
			Components of model-view-controller (MVC) architecture
			Advantages of model-view-controller (MVC) architecture
	Software design principles
		Single responsibility principle
		Open-closed principle
		Liskov substitution principle
		Interface segregation principle
		Dependency inversion principle
	Software design patterns
		Essential elements of design patterns
		Classification of design patterns
			Creational design patterns
			Structural design patterns
			Behavioral design patterns
		Gang of four design patterns
		Benefits of using design patterns
	Software design antipatterns
		Some common antipatterns
			Blob antipattern
			Spaghetti Code antipattern
			Poltergeist antipattern
			Functional decomposition antipattern
			Swiss Army Knife antipattern
		When design patterns turn into antipatterns
	Conclusion
	References
Online condition monitoring and maintenance of photovoltaic system
	Introduction
	Condition monitoring of VRLA battery in PV system
		Implementation of predictive fault diagnosis of VRLA battery in PV system
			Fault detection using IR image
			Fault classification and analysis using Fuzzy logic
		Results and discussion
		Web-based condition monitoring of battery
	Condition monitoring of aluminum electrolytic capacitor and MOSFET of power converter in PV system
		Implementation of in-circuit condition monitoring of aluminum-electrolytic capacitor and MOSFET
		Results and discussion
	Conclusions
	References
Fault diagnosis and fault tolerance
	Introduction
	Digital systems modeling
		Functional modeling at the logic level
		Programs as functional models
			Functional modeling at the register level
			Structural models
			Level of modeling
	Fault models
		Stuck-at fault model
		Multiple stuck-at faults model
		Bridge fault model
		Open fault model
		Path delay fault model
		Transition fault model
		Cell internal fault model
	Fault diagnosis test procedures
	Fault diagnosis and fault tolerance
		Fault tolerance
	Conclusions
	Acknowledgment
	References
True power loss diminution by Improved Grasshopper Optimization Algorithm
	Introduction
	Problem formulation
	Improved Grasshopper Optimization Algorithm
	Simulation study
	Conclusions
	References
Security analytics
	Introduction
		Phishing
		Spamming
		Denial-of-service (DoS) attack
		Malware attacks
		Botnets
		Website threats
	Different classes of security analytics
		Core and structural analytics
		Probability-based analytics
		Time-based analytics
		Lifecycle models of vulnerability management
			Discover
			Prioritize assets
			Assess
			Report
			Remediate
			Verify
	Framework of cyber security analytics
		Architecture
			Common vulnerability scoring system
			Attack graph model
			Stochastic graph model
		Representation of models
			Markov model
			Nonhomogeneous model
			Node rank analysis
	Big data security analytics
		Analyzing big data sources and security model
			Big data security areas
			Big data security analytics model
		Security analytics for threat detection
			Examples of threat detection
			BDA for mitigating threat detection
		Security analytics solution
	Security analytics for IoT
		Interactive model for IoT
		Ontology-based security modeling
		Smart home-Security analytics IoT case study
			Components of smart home
			Smart home services
	Security analytics in anomaly detection
		Techniques in anomaly detection
		Research challenges in anomaly detection
	References
Stochastic modeling of the mean time between software failures: A review
	Introduction
	Mathematical background
		Birth processes
			Process classification
			Probability mass function
		The mean value function
		Mean time between failures
			Time domain analysis
			MTTF and MTBF
	Application
		Models considered
		Experiments
			Project 1
			Project 2
		Discussion
	Conclusions
	Acknowledgments
	References
Inliers prone distributions: Perspectives and future scopes
	Introduction
	Inliers prone models
		Instantaneous failure models
		Early failure model-1
		Early failure model-2
		Model with inliers at zero and one
	Inferences on 0-1 inliers model
		Parameter estimation
			The maximum likelihood estimation of θ=π1π2θ
		Unbiased estimation
			Uniformly minimum variance unbiased estimation of parameters
			Uniformly minimum variance unbiased estimation of parametric functions
	Tests of hypothesis about inliers
	Data analysis
	Inliers-prone distributions: Issues and problems
	Future scopes
	References
Integration of TPM, RCM, and CBM: A practical approach applied in Shipbuilding industry
	Introduction
	Maintenance strategies
		Total productive maintenance
		Reliability centered maintenance
		Condition-based maintenance
		Proposed methodology
	Reliability of marine propulsion system: A case study
		Phase I: Preparation-System selection and identifying boundaries
		Phase II: Analysis
		Phase III: Task selection
		Phase IV: Task comparison, review and control
		Phase V: Involve and empower all employees
	Conclusion
	References
Revolutionizing the internet of things with swarm intelligence
	Introduction
	Characteristics of IoT
	The consumer IoT
	The industrial IoT
	IoT definitions by various companies
	The industrial internet
	The internet of everything (IoE)
	Cyber physical systems (CPS) and industry 4.0
	The internet of services (IoS)
	The internet of robotic things (IoRT)
	More internet of X terms
	Swarm intelligence
	Definitions of SI
	SI and systems intersections
	Swarm Intelligence and smart gadgets
	Implants & prosthetics
	The swarm behavior of the augmented and quantified human-The next stage of the IoE?
	ANT colony-based IoT systems
	ANT colony optimization (ACO)-based IoT systems
	Particle swarm optimization (PSO)-based IoT systems
	Artificial bee colony (ABC)-based IoT systems
	Bacterial foraging optimization (BFO)-based IoT systems
	BAT optimization (BO)-based IoT systems
	More SI-based IoT systems
	Towards SI-based IoT systems
	SI and its applications
		ACO (Ant colony optimization)
		BCO (Bee colony optimization)
	SI application for IoT processes
		Use of SI for connected cars
		Use of SI for data routing
		Use of SI in cloud computing for data optimization
	Conclusion
	References
Security and challenges in IoT-enabled systems
	Introduction
	Commercialized secure hardware primitive designs
	Hardware trojan
	Side-channel attack (SCA)
	Reverse engineering
	Key challenges
	Conclusion
	References
Provably correct aspect-oriented modeling with UPPAAL timed automata
	Introduction
	Related work
	Preliminaries
		Aspect-oriented modeling
		UPPAAL timed automata
	Provably correct weaving of aspects
		Join points
		Advice weaving
		Weaving correctness
			Correctness of weavers
			Weaving correctness at join points
			Noninterference of advice models
	Case study: Home rehabilitation system
		Model description
			Base model
			Aspect: Exercising quality
		Verification of the aspects weaving correctness
	Usability of AO modeling and verification
	Conclusions and discussion
	Acknowledgment
	References
Relevance of data mining techniques in real life
	Introduction
	Methodology
	Need of data mining
	Types of data mining
		Ubiquitous data mining
		Multimedia data mining
		Distributed/collective data mining
		Constraint-based data mining
		Hypertext data mining
		Spatial and geographic data mining
		Phenomenal data mining
		Social security data mining
		Educational data mining
		Time series/sequence data mining
	Data mining techniques
		Clustering
		Classification
		Decision trees
			Association rules
			Prediction
			Relationship mining
			Outlier detection
			Dynamic prediction-based approach
			Text mining
			Social network analysis
			Process mining
			Data distillation for judgment
	Categories of data mining techniques
		Information systems
		System optimization
		Knowledge-based systems
		Modeling
			System architecture analysis
			Algorithm architecture
			Intelligence agent systems (IAs)
			Dynamic prediction-based approach
			Artificial neural networks
	Applications of data mining methods
		Text mining and web mining
		Medical/pharmacy
		Insurance and health care
		Finance
		Telecommunications
		Education
		Retail industry
	Conclusion
	References
D-PPSOK clustering algorithm with data sampling for clustering big data analysis
	Introduction
	Related work
	Proposed work
		Implementation of DPPSOK-means algorithm
		DPPSOK algorithm
		Evaluation of the solutions
	Experimental result and discussion
		Test data
		Experimental result
	Conclusion
	References
A review on optimal placement of phasor measurement unit (PMU)
	Introduction
	Optimal PMU placement (OPP) problem formulation
	Mathematical programming method
		Integer programming (IP)
	Meta-heuristic methods
		Simulating annealing (SA)
		Genetic algorithm (GA)
		Tabu search (TS)
		Differential evolution (DE)
		Particle swarm optimization (PSO)
		Ant colony optimization (ACO)
	Heuristic methods
		Depth first search (DeFS)
	Algorithm comparison
	Future scope
	Conclusion
	References
Effective motivational factors and comprehensive study of information security and policy challenges
	Introduction
	Key information security policies-related challenges
		Security policy management and updating
		Illustration of security
		Open issues
	Organizational approaches to information security
	Network architecture and threat model
	Policy-based SDN security architecture
	Trust
	Privacy
	Privacy and security in cloud computing
	Cloud computing framework
		Eligible
		Allowed systems
		Service availability
		Privacy security of cloud computing
	ABE in cloud computing
	Conclusions
	References
Integration of wireless communication technologies in internet of vehicles for handover decision and network selection
	Introduction
	Existing works
	Research method
		Handover decision by dynamic Q-learning
		Network selection using fuzzy CNN
		Routing
	Simulation setup
	Comparative analysis and results
	Conclusion
	References
Modeling HIV-TB coinfection with illegal immigrants and its stability analysis
	Introduction
	The mathematical model
	The mathematical analysis
	Numerical analysis and discussion
	Acknowledgments
	References
	Further reading
Index