On the Effectiveness of Assertion-Based Verification in an Industrial Context

2013 ◽  
pp. 78-93 ◽  
Author(s):  
Laurence Pierre ◽  
Fabrice Pancher ◽  
Rodolphe Suescun ◽  
Jérôme Quévremont
Keyword(s):  
Industrial Context

Social Problems in an Urban-Industrial Context

1962 ◽  
Vol 9 (3) ◽  
pp. 228-240 ◽  
Author(s):  
Leo F. Schnore
Keyword(s):  
Social Problems ◽  
Industrial Context

scholarly journals Empirical Study of Car Crash Simulation Analysis within the Development Phase

2019 ◽  
Vol 1 (1) ◽  
pp. 2843-2852 ◽  
Author(s):  
Naouress Fatfouta ◽  
Julie Stal-Le Cardinal ◽  
Christine Royer
Keyword(s):  
Empirical Study ◽  
Qualitative Analysis ◽  
Simulation Analysis ◽  
Development Phase ◽  
Vehicle Model ◽  
Crash Simulation ◽  
Automotive Company ◽  
Car Crash ◽  
Industrial Context ◽  
Current Practices

AbstractCar crash simulation analysis is an important phase within the vehicle development. It intends to analyse the crashworthiness of the vehicle model and examine the level of passive security. However, this activity is not trivial because of the considerable collaboration within the project, the large amount of analysed and exchanged data and a high exigency. Consequently, a solution to assist, ease and reduce the time of the process is desired.To study the current practices followed in the car crash simulation analysis an empirical study has been conducted. This study has been applied within the simulation analysis team, in the development phase, within an automotive company. This paper describes a qualitative analysis of the industrial context and diagnoses the dysfunctions in the current practices. This paper also highlights the current challenges encountered in the car crash simulation analysis.

scholarly journals INTEGRATION OF BLOCKCHAIN TECHNOLOGIE IN CASE OF SYSTEMS ENGINEERING AND SOFTWARE ENGINEERING IN AN INDUSTRIAL CONTEXT

2021 ◽  
Vol 1 ◽  
pp. 1887-1896
Author(s):  
Vahid Salehi
Keyword(s):  
Software Engineering ◽  
Systems Engineering ◽  
Data Entry ◽  
Product Lifecycle Management ◽  
Vehicle Engineering ◽  
Blockchain Technology ◽  
Software Engineering Process ◽  
Lifecycle Management ◽  
Model Based Systems Engineering ◽  
Industrial Context

AbstractCurrently, inconsistent software versions lead to massive challenges for many car manufacturers. This is partly because within the product lifecycle management and the software engineering process, there is no correct handling of software versions for the “data entry” (installation of software on the ECU) of the vehicles. Furthermore, there are currently major challenges for many vehicle manufacturers to ensure transparency, integrity and full traceability of SW data status vis-à-vis the legislator. To counteract these challenges, new solutions in the field of vehicle engineering are to be developed based on a new platform called “CarEngChainNet” and Blockchain technology. On the basis of the “CarEngChainNet” platform, new main and sub-chain chains will be developed that allow tamper-proof SW data management (Peer to Peer and crypto technology) across the entire PLM chain with new methods such as model-based systems engineering of the requirement, function and integration of the SW components in different areas of vehicle development. The aim is to develop new transmission chains of vehicles with individually packaged software artefacts (e.g. ECU software) that can be securely transmitted from server to server into the vehicle.

scholarly journals Sifu - a cybersecurity awareness platform with challenge assessment and intelligent coach

Cybersecurity ◽  
2020 ◽  
Vol 3 (1) ◽  
Author(s):  
Tiago Espinha Gasiba ◽  
Ulrike Lechner ◽  
Maria Pinto-Albuquerque
Keyword(s):  
Real Life ◽  
Critical Infrastructures ◽  
Automatic Assessment ◽  
Software Developers ◽  
Software Vulnerabilities ◽  
Secure Coding ◽  
Industrial Software ◽  
Industrial Standards ◽  
Coding Guidelines ◽  
Industrial Context

AbstractSoftware vulnerabilities, when actively exploited by malicious parties, can lead to catastrophic consequences. Proper handling of software vulnerabilities is essential in the industrial context, particularly when the software is deployed in critical infrastructures. Therefore, several industrial standards mandate secure coding guidelines and industrial software developers’ training, as software quality is a significant contributor to secure software. CyberSecurity Challenges (CSC) form a method that combines serious game techniques with cybersecurity and secure coding guidelines to raise secure coding awareness of software developers in the industry. These cybersecurity awareness events have been used with success in industrial environments. However, until now, these coached events took place on-site. In the present work, we briefly introduce cybersecurity challenges and propose a novel platform that allows these events to take place online. The introduced cybersecurity awareness platform, which the authors call Sifu, performs automatic assessment of challenges in compliance to secure coding guidelines, and uses an artificial intelligence method to provide players with solution-guiding hints. Furthermore, due to its characteristics, the Sifu platform allows for remote (online) learning, in times of social distancing. The CyberSecurity Challenges events based on the Sifu platform were evaluated during four online real-life CSC events. We report on three surveys showing that the Sifu platform’s CSC events are adequate to raise industry software developers awareness on secure coding.

scholarly journals Firm Size and Employment during the Pandemic

2021 ◽  
Vol 7 ◽  
pp. 237802312199260
Author(s):  
Ken-Hou Lin ◽  
Carolina Aragão ◽  
Guillermo Dominguez
Keyword(s):  
United States ◽  
Labor Market ◽  
Firm Size ◽  
The United States ◽  
Market Concentration ◽  
Job Security ◽  
Wage Premium ◽  
Small Enterprises ◽  
Policy Responses ◽  
Industrial Context

Previous studies have established that firm size is associated with a wage premium, but the wage premium has declined in recent decades. The authors examine the risk for unemployment by firm size during the initial outbreak of coronavirus disease 2019 in the United States. Using both yearly and state-month variation, the authors find greater excess unemployment among workers in small enterprises than among those in larger firms. The gaps cannot be entirely attributed to the sorting of workers or to industrial context. The firm size advantage is most pronounced in sectors with high remotability but reverses in the sectors most affected by the pandemic. Overall, these findings suggest that firm size is linked to greater job security and that the pandemic may have accelerated prior trends regarding product and labor market concentration. They also point out that the initial policy responses did not provide sufficient protection for workers in small and medium-sized businesses.

scholarly journals Efficient and Consumer-Centered Item Detection and Classification with a Multicamera Network at High Ranges

Sensors ◽  
2021 ◽  
Vol 21 (14) ◽  
pp. 4818
Author(s):  
Nils Mandischer ◽  
Tobias Huhn ◽  
Mathias Hüsing ◽  
Burkhard Corves
Keyword(s):  
Machine Learning ◽  
Shop Floor ◽  
Unsupervised Segmentation ◽  
User Friendliness ◽  
Industrial Environment ◽  
Machine Learning Methods ◽  
Eu Project ◽  
Detection And Localization ◽  
Industrial Context ◽  
The Eu

In the EU project SHAREWORK, methods are developed that allow humans and robots to collaborate in an industrial environment. One of the major contributions is a framework for task planning coupled with automated item detection and localization. In this work, we present the methods used for detecting and classifying items on the shop floor. Important in the context of SHAREWORK is the user-friendliness of the methodology. Thus, we renounce heavy-learning-based methods in favor of unsupervised segmentation coupled with lenient machine learning methods for classification. Our algorithm is a combination of established methods adjusted for fast and reliable item detection at high ranges of up to eight meters. In this work, we present the full pipeline from calibration, over segmentation to item classification in the industrial context. The pipeline is validated on a shop floor of 40 sqm and with up to nine different items and assemblies, reaching a mean accuracy of 84% at 0.85 Hz.

The Relation Between Function and Form in the Main Federal Industrial Tribunals

2011 ◽  
Vol 53 (5) ◽  
pp. 596-615
Author(s):  
Aaron Rathmell
Keyword(s):  
Rule Of Law ◽  
Focus Attention ◽  
Wage Setting ◽  
The Rule Of Law ◽  
Industrial Context

This article examines the relation between function and form in the main Australian federal industrial tribunals, drawing on process jurisprudence, in particular the work of Lon Fuller. It suggests that the structures and procedures of the tribunals can be set against Fuller's idealized features of adjudication, in order to draw out their most important and innovative features. Of particular interest are the distinctive ways that the tribunals have mediated the participation of the industrial parties and tackled complicated problems such as wage-setting. The aim is to focus attention on procedural design and encourage research into the tribunals’ contributions to the rule of law in the industrial context. This should also lead to a better understanding of the continuities, discontinuities and dilemmas represented in the new umpire, Fair Work Australia.

Barrier and Copper Seedlayer Wet Etching

2005 ◽  
Vol 103-104 ◽  
pp. 361-364 ◽  
Author(s):  
Claire Therese Richard ◽  
M.M. Frank ◽  
Pascal Besson ◽  
E. Serret ◽  
N. Hotellier ◽  
...  
Keyword(s):  
Process Development ◽  
Wet Etching ◽  
Copper Level ◽  
Bicmos Technology ◽  
Substantial Concentration ◽  
Concentration Changes ◽  
Ph Level ◽  
Robust Process ◽  
Industrial Context ◽  
High Decomposition Rate

This paper summarizes the process development of TiN barrier etching in presence of copper, for a thick copper level in BICMOS technology. In an industrial context, we have chosen to use a SC1 chemistry in a spin etch single wafer tool. The SC1 composition and therefore the pH level allows - the barrier to be etched with no metallic residues, ( if not clear this can be a source for shorts) - control of the selectivity between copper and TiN - control of lateral etching under copper lines, the possible source of open chains by W attack during TiN etch. The electrical results show a robust process according to current specifications, in terms of leakage and via resistance with a fresh chemistry approach. In fact, the recirculation of SC1 is not possible due to substantial concentration changes during processing, high evaporation rate of Ammonia and high decomposition rate of Peroxide in the presence of copper on surface wafer.

From Strategic Retweets to Group Hangs: Writers’ Room Twitter Accounts and the Productive Ecosystem of TV Social Media Fans

2017 ◽  
Vol 19 (5) ◽  
pp. 415-430 ◽  
Author(s):  
Annemarie Navar-Gill
Keyword(s):  
Social Media ◽  
Fan Behavior ◽  
The Media ◽  
A Priority ◽  
Context Shapes ◽  
Industry Needs ◽  
Industrial Context

In the current participatory television environment, social media serves both a social backchannel for interactions between audience members and a direct line of communication between audiences and production. Because audience activity on social media becomes part of the media brand, it is a priority for the industry to achieve some level of control/influence on that activity. In this article, I discuss writers’ room Twitter accounts as a space used to model and reinforce fan behavior that serves industry interests, arguing that these accounts serve industry needs through the behaviors they promote and recognize. Through analysis of three writers’ room Twitter accounts—for Jane the Virgin, Faking It, and Orange Is the New Black—I show how this process works, as well as the ways in which a show’s individual industrial context shapes the type of fan that is hailed.

scholarly journals A Negotiation-based control approach for disturbed industrial context

2018 ◽  
Vol 51 (11) ◽  
pp. 1255-1260 ◽  
Author(s):  
Tsegay Tesfay Mezgebe ◽  
Hind Bril El Haouzi ◽  
Guillaume Demesure ◽  
Andre Thomas
Keyword(s):  
Control Approach ◽  
Industrial Context
Sign in / Sign up

Export Citation Format

Share Document