Security is a mandatory issue in any network, where sensitive data are transferred safely the required direction. Wireless sensor networks (WSNs) formed hostile areas for different applications. Whatever application, WSNs must gather large amount of and send them to an authorized body, generally sink. WSN has integrated with Internet-of-Things (IoT) via internet access nodes along internet-connected devices. The gathered IoT enormous, which eventually collected by over Internet. Due several...

Autonomous Vehicles (AVs) have significant ethical and safety implications. Questions of informed consent risk acceptance are primary importance, as is an explicit identification the principles underlying these decisions. In this paper we present a process framework for producing ethics assurance case, which can be used to translate imperatives into design decisions management practices. The resultant case integrate considerations wider engineering lifecycle, providing tool demonstrate that...

Threat assessment is the continuous process of monitoring threats identified in network real-time informational environment an organisation and business companies. The sagacity security assurance for system company’s seem to need that information exercise unambiguously effectively handle threat agent’s attacks. How this unambiguous effective way present-day state practice working? Given prevalence modern environment, it essential guarantee national infrastructure. However, existing models...

We present a discussion of the issues involved with eliciting and managing safety requirements in complex systems. show how case architectures modular view which is consistent structure system These can also be used to allocate responsibility for analysis across contractual boundaries. This paper discusses these address technical engineering management challenges associated

The challenge of mixed-criticality scheduling is to keep tasks higher criticality running in case resource shortages caused by faults. Traditionally, has focused on methods handle faults where overrun their optimistic worst-case execution time (WCET) estimate. In this paper we present the Adaptive Tolerance-based Mixed-criticality Protocol (ATMP), which generalises concept also other nature, like failure cores a multi-core system. ATMP an adaptation method triggered shortage at runtime....

Service Oriented Architecture is an architectural style that being adopted by many of the major military organisations such as United States Department Defense, The North Alliance Treaty Organization and UK's Ministry Defence, a means to realise increased agility reduced long term cost ownership. SOA has emerged matured predominately within commercial sectors well maturing further overcome current challenges in these sectors, must address specific when employed context. This paper provides...

Safety engineering and cyber security have complementary aims, but typically realise these using different techniques, risk assessment methods cultural approaches. As a result, the integration of safety concerns is complex process, with potential for conflict. We present generalized taxonomy common conflict areas between security, oriented around development deployment lifecycle, supplement this discussion concepts methodologies resolution based on shared principle defence-in-depth.

Ethical considerations for autonomous vehicles (AVs) go beyond the "trolley problem" to include such aspects as risk / benefit trade-offs, informed consent, responsibility and mitigation within a system of systems.In this paper we present methodology arguing that behaviour given AV meets desired ethical characteristics.We identify some imperatives surrounding introduction AVs consider how decisions made during development can impact ethics AV's behaviour.

These days, digital crime is one of the main challenges for law enforcement and judicial system. Many laws which are used to protect users current technologies were derived from legislation that utilized in control crimes based physical realm. This applies not only Western countries, but countries adopt Sharia law. There a need establish specific accepted best practice deal with compatible law, affects more than billion Muslims. paper presents view approach Saudi Arabia under Law,...

Rosetta is a systems level design language that allows algebraic specifica- tion of through facets. The usual approach to formally describe specification define an algebra satisfies the specification. Although it possible for- mally facets with use algebras, we choose dual algebra, i.e. coalgebra, do so. Coalgebras are particularly suited for describing state- based systems. This makes defining state-based quite straightforward. For non-state-based Rosetta, formalization not as direct, but...

The power that stems from modern DRAM devices represents a significant portion of the overall system in computing systems. In multi-core systems, competing cores share same memory banks. contention between these may lead to activate large row only access small data. This over-fetching problem wastes activation with slight performance gain.

In this paper we examine some of the challenges associated with adequately demonstrating safety COTS products as required by goal-based standards. The evidence available for products-if any-is sometimes questionable quality and applicability. This introduces a framework assessing applicability when selecting product purchase. Use enables purchase particular to be justified from perspective, well identifying where further post-purchase analysis software will support argument. (6 pages)

The use of assistive robots in domestic environments can raise significant ethical concerns, from the risk individual harm to wider societal impacts including culture flattening and compromise human dignity. It is therefore essential ensure that technological development these informed by robust inclusive techniques for mitigating concerns. This paper presents EHAZOP, a method conducting an hazard analysis on robot. EHAZOP draws upon collaborative, creative structured processes originating...

Inconsistency management in component-based languages is the identification and resolution of conflicting constraints or expectations between different components which make up a system. Here we present category theoretical framework for detecting classifying those inconsistencies can arise throughout simulation. In addition, permits us to apply techniques developed defining database view updates. With these, analyse set traces system with respect particular behaviour subsystem.