Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Introduction to Vertical Curves

Introduction to Vertical Curves

Vertical curves are parabolic transitions that connect different grades on highways and railroads, ensuring a smooth alignment between back and forward tangents. The back tangent represents the initial grade, while the forward tangent defines the subsequent grade. These curves can be symmetrical, with equal tangent lengths, or nonsymmetrical, with varying lengths. The key points defining a vertical curve include the Point of Vertical Intersection (P.V.I.), where the tangents meet; the Point of...

Elevation of Intermediate Points on Vertical Curves

Elevation of Intermediate Points on Vertical Curves

Vertical curves are essential in roadway design because they provide smooth transitions between varying roadway grades. Designing vertical curves involves calculating intermediate elevations and identifying the curve's highest or lowest point, which is essential for optimal roadway performance.Intermediate elevations on a vertical curve are determined using the tangent offset method. This method considers the initial elevation at the start of the curve, the grades, and the curve's geometry. The...

Introduction to Horizontal Curves

Introduction to Horizontal Curves

Horizontal curves are essential in highway and railroad design, ensuring smooth and safe transitions between straight path segments, or tangents. These curves allow vehicles to maintain speed without abrupt changes, minimizing accidents and improving travel efficiency.A horizontal curve is typically defined by its geometric relationship to two tangents that meet at an intersection point (P.I.), where a simple curve is introduced to connect them. The back tangent refers to the initial tangent...

Design Example: Alignment of a Road Line Using GIS

Design Example: Alignment of a Road Line Using GIS

The alignment of a road line using Geographic Information Systems (GIS) is a critical process in civil engineering, combining advanced technology with practical decision-making. This methodology begins with the collection of geospatial data, including information on land cover, geomorphology, drainage patterns, slope, and contour details. Such data is typically acquired through satellite imagery and GIS tools, offering a comprehensive understanding of the terrain.Once the data is gathered, it...

Vertical Curve: Problem Solving

Vertical Curve: Problem Solving

Vertical curves provide the transition between two roadway grades, ensuring safety, comfort, and functionality. Calculating elevations at specific stations along the curve involves several systematic steps based on the curve's geometry and provided design parameters.The vertical curve is defined by its length, grades, Point of Vertical Intersection (P.V.I.) location, and P.V.I. elevation. The stations of the Point of Vertical Curvature (P.V.C.), where the curve begins, and the Point of Vertical...

Sight Distance in a Vertical Curve

Sight Distance in a Vertical Curve

Sight distance on vertical curves is critical in roadway design. It ensures drivers can see far enough ahead to identify and respond to hazards effectively. This directly impacts safety, driver comfort, and the overall efficiency of the transportation network.Vertical curves are classified into crest and sag curves based on their geometry. For crest curves, sight distance is determined by the line of sight between a driver's eye and a small object on the road's surface. Design parameters for...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same journal

Giving Meaning to Technological Artifacts in One's Life: An Aspect of Personal Autonomy in a Technological Society.

Science and engineering ethics·2026

Same journal

Not Another Grocery List: Proposals for an Effective AI Ethics Implementation.

Science and engineering ethics·2026

Same journal

From Biopiracy to Sustainable Knowledge Governance: Epistemic Justice and the Reconstruction of Resource Sovereignty in the Global South.

Science and engineering ethics·2026

Same journal

Deliberative Lab Communication and the Practice of Ethical Science.

Science and engineering ethics·2026

Same journal

Graduate Students Find Content of Responsible Conduct of Research Coursework Useful.

Science and engineering ethics·2026

Same journal

Discursive Ethics as a Normative Foundation for Integrating Ethics into AI Clinical Decision Support Systems.

Science and engineering ethics·2026

Search research articles

Related Experiment Video

Updated: Oct 12, 2025

Evaluation of an Exclusive Spur Dike U-Turn Design with Radar-Collected Data and Simulation

Evaluation of an Exclusive Spur Dike U-Turn Design with Radar-Collected Data and Simulation

Published on: February 1, 2020

Correctness and Completeness of Programming Instructions for Traffic Circulation.

Daniela Glavaničová¹, Matteo Pascucci²

¹Department of Logic and Methodology of Sciences, Faculty of Arts, Comenius University in Bratislava, Gondova 2, 811 02, Bratislava, Slovak Republic.

Science and Engineering Ethics

|November 22, 2021

Summary

This study analyzes software development challenges in translating traffic rules into code using logic. It proposes a procedure to identify framework issues and assign developer responsibility after accidents.

Keywords:

Autonomous vehicles Encoding rules Framework revision Question and answer procedure Responsibility

More Related Videos

Evaluating the Effect of Roadside Parking on a Dual-Direction Urban Street

Evaluating the Effect of Roadside Parking on a Dual-Direction Urban Street

Published on: January 20, 2023

Using a Virtual Reality Walking Simulator to Investigate Pedestrian Behavior

Using a Virtual Reality Walking Simulator to Investigate Pedestrian Behavior

Published on: June 9, 2020

Related Experiment Videos

Last Updated: Oct 12, 2025

Evaluation of an Exclusive Spur Dike U-Turn Design with Radar-Collected Data and Simulation

Evaluation of an Exclusive Spur Dike U-Turn Design with Radar-Collected Data and Simulation

Published on: February 1, 2020

Evaluating the Effect of Roadside Parking on a Dual-Direction Urban Street

Evaluating the Effect of Roadside Parking on a Dual-Direction Urban Street

Published on: January 20, 2023

Using a Virtual Reality Walking Simulator to Investigate Pedestrian Behavior

Using a Virtual Reality Walking Simulator to Investigate Pedestrian Behavior

Published on: June 9, 2020

Area of Science:

Computer Science
Software Engineering
Logic

Background:

Translating real-world regulations into software is complex.
Ensuring software correctness and completeness is crucial for safety-critical systems like traffic control.

Purpose of the Study:

To analyze fundamental problems in software development when converting traffic circulation norms into programming instructions.
To introduce a question and answer procedure for post-accident analysis.

Main Methods:

Exploitation of logical notions of correctness and completeness.
Analysis of software development challenges in norm transformation.
Development of a diagnostic procedure for software frameworks.

Main Results:

Identification of key logical and practical challenges in software development for traffic norms.
A structured procedure to assess software components and developer accountability after incidents.

Conclusions:

Logical analysis provides a framework for understanding software development issues in traffic systems.
The proposed procedure aids in post-accident analysis, clarifying software responsibilities and necessary revisions.