A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study

2011 ◽  
Author(s):  
Mario Bernhart ◽  
Stefan Reiterer ◽  
Kilian Matt ◽  
Andreas Mauczka ◽  
Thomas Grechenig
Keyword(s):  
Software Development ◽  
Review Process ◽  
Air Traffic ◽  
Industrial Case Study ◽  
Code Review

Success Factors for the Management of Global Virtual Teams for Software Development

2012 ◽  
pp. 239-249
Author(s):  
Javier García Guzmán ◽  
Javier Saldaña Ramos ◽  
Antonio Amescua Seco ◽  
Ana Sanz Esteban
Keyword(s):  
Software Development ◽  
Virtual Teams ◽  
Success Factors ◽  
Development Project ◽  
Global Virtual Teams ◽  
Industrial Case Study ◽  
Team Members ◽  
Software Development Project ◽  
Geographical Dispersion

The management of globally distributed software teams is complex because of problems of linguistic differences, geographical dispersion, different time zones, and the cultural diversity of the team members; what is particularly common in software development environments. These problems are amplified when a single software development team is composed of highly skilled individuals working in dispersed geographical locations, and they have to work as a team across distances. This paper describes several of the most important factors that contribute to the correct and effective management of global virtual teams for software development and underlying solutions are addressed to reduce cultural and time barriers. These factors are obtained from an industrial case study, which lasted 36 months, corresponding to a huge software development project that involved several global virtual teams. These success factors consider different perspectives as technology, human factors and process.

scholarly journals Effort estimation in large-scale software development: An industrial case study

2018 ◽  
Vol 99 ◽  
pp. 21-40 ◽  
Author(s):  
Muhammad Usman ◽  
Ricardo Britto ◽  
Lars-Ola Damm ◽  
Jürgen Börstler
Keyword(s):  
Software Development ◽  
Large Scale ◽  
Effort Estimation ◽  
Industrial Case Study

scholarly journals Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

1997 ◽  
Vol 4 (31) ◽  
Author(s):  
Klaus Havelund ◽  
Arne Skou ◽  
Kim G. Larsen ◽  
Kristian Lund
Keyword(s):  
Software Development ◽  
Real Time ◽  
Real Life ◽  
Automatic Verification ◽  
Formal Modeling ◽  
Industrial Case Study ◽  
Modeling And Analysis ◽  
Audio Video ◽  
Assembler Code

A formal and automatic verification of a real-life protocol is presented. The protocol, about 2800 lines of assembler code, has been used in products from the audio/video company Bang & Olufsen throughout more than a decade, and its purpose<br />is to control the transmission of messages between audio/video components over a single bus. Such communications may collide, and one essential purpose of the protocol is to detect such collisions. The functioning is highly dependent on<br />real-time considerations. Though the protocol was known to be faulty in that messages were lost occasionally, the protocol was too complicated in order for Bang & Olufsen to locate the bug using normal testing. However, using the real-time verification<br />tool UPPAAL, an error trace was automatically generated, which caused the detection of “the error” in the implementation. The error was corrected and the correction was automatically proven correct, again using UPPAAL. A future, and more automated, version of the protocol, where this error is fatal, will incorporate the correction. Hence, this work is an elegant demonstration of how model checking has had an impact on practical software development. The effort of modeling this protocol has in addition generated a number of suggestions for enriching the UPPAAL language. Hence, it’s also an excellent example of the reverse impact.

Sign in / Sign up

Export Citation Format

Share Document