Inside the complex world of lifesaving software and. Evaluating a corpus of root causes and measures to guide rca processes in critical software. Nuno silva, technical safety manager at critical software, a consulting company that helps clients create and certify software products, often leads companies down the arduous path of making software for safety critical fields and navigating those risks. The pressure to release new technologies can sometimes come at a. Software design and development, web application development, machine learning, researching and education. See the complete profile on linkedin and discover nuno s connections and jobs at similar companies. Study finds that technology fails people every week the. Congratulations to nuno silva and the entire future energy leaders. Leveraging fault injection techniques in critical industrial applicationsmore. Book description office 365 is suite of advanced collaboration tool which is used by many well. Program manager february 2002 to present coimbra, portugal. This included highly sophisticated test benches, including highfidelity realtime simulators and the actual spacecraft.
A framework to identify companies gaps when introducing. Study finds that tech fails people every week global. Publications cecris project certification of critical systems. Portuguese technology on its way to the sun space today. Book chapter in innovative technologies for dependable otsbased critical. Nearly one in two people say technology fails them once a week or more, a new study commissioned by critical software has revealed. Welcome to my blog about microsoft office 365 and other technologies. Nuno silva the development of multicore applications presents a challenge to developers, especially those unfamiliar with the complex tasks of managing and debugging issues related to.
Masa katahira, yuko miyamoto, haruka nakao jaxa japanese space agency technical presentations. We chose outsystems for the mobile app, said nuno silva, it manager at sl benfica. Safety critical regulators have been slow to welcome emerging technologies and methodologies that are prevalent in the wider tech. The pressure to release new technologies can sometimes come at a cost to reliability. Nuno silva, critical software s chief test engineer, said, for all the aweinspiring developments, people still seem to have concerns about the reliability of the technology we use in our lives. Validation and dependability services and methods used at critical software more. Modelbased technologies are increasingly being used to develop safety critical software, and arguably, turning to them can bring significant benefits to such processes, however, along with new.
Spie 10707, software and cyberinfrastructure for astronomy v, 1070703 6 july 2018. As these kinds of technologies have a bigger impact on our. Leveraging fault injection techniques in critical industrial applications more. The importance of testing technology properly to ensure it is reliable. Solar orbiter takes portuguese technology to sun atmosphere. For all the aweinspiring developments, people still seem to have concerns about the reliability of the technology we use in our lives, says nuno silva, critical software s chief test. Validation and dependability services and methods used at critical softwaremore. Software engineer february 1997 to august 2000 montreal, quebec.
Deloitte, ptsapo, isa, tapestry, critical software, wit software of national recruiters. Regarding his software engineering technologies experience, the ones that. The detector is based on online statistical analyses techniques, and it is designed for systems that operate. What is known, only to the experts, is that technology changes rapidly, but. Maria garcia, maria hernek, kjeld hjortnaes, lothar winzer esa software dependability methods. University of laquila and chalmers university of gothenburg. Evaluating a corpus of root causes and measures to guide rca. As empresas portuguesas active space technologies, critical software e.
Active space, deimos engenharia and critical software are the portuguese. Pdf dependable technologies for critical systems isvv. An oslevel framework for anomaly detection in complex software systems. Nanjing university of aeronautics and astronautics. River publishers series in information science and technology. The traditional software and system design industry has wellelaborated methods for the assessment of the aspects of ef. See the complete profile on linkedin and discover nuno s connections. Nuno silva is a software engineer, researcher, educator and consultant. Having to test the complete avionics of the spacecraft, nuno silva and his team, ended up working with critical software, as they to tested the flight control and full onboard software, developed by critical. Ricardo barbosa, henrique madeira, nuno silva critical software s. Study reveals tech testing concerns software testing news. Critical software sa, portugal, coimbra safety critical systems. Book chapter in innovative technologies for dependable otsbased critical systems, isbn. Our technology and innovation director was recently appointed as chair of future energy leaders fel100 of the world energy council.
Nuno silva, critical software s chief test engineer, says. For all the aweinspiring developments, people still seem to have concerns about the reliability of the technology we use in our lives. Nuno silva read 46 publications contact nuno silva. For example, modern cars include complex systems that are increasingly responsible for safety features and banks use advanced security technologies to protect online systems. View nuno silva s profile on linkedin, the worlds largest professional community. He holds a masters degree in computer science and has professional experience since the year 2000. The importance of testing technology properly to ensure it. We deployed the same application to android and ios, which would have been very difficult. Study finds that tech fails people every week socpub. Critical systems are becoming more and more complex and heterogeneous, integrating previously separate systems and including design solutions ranging from the introduction of software off the shelf ots to the adoption of looselyintegrated and composable services.
Verification and validation of real time cots products using fault injection techniques. For example, modern cars include complex systems that are increasingly responsible for safety features and banks use advanced security technologies. Study reveals concerns over the lack of technology testing. Nuno silva, pmp, phd coimbra e regiao, portugal perfil.
For all the aweinspiring developments, people still seem to have concerns about the reliability of the technology. Nuno silva software engineer utility warehouse linkedin. Their combined citations are counted only for the first article. Nuno arias silva has more than 20 years working on it, with master in information technologies, last projects have more focus in office 365, infrastructures and. The onepoll survey of 2,000 people also found that only half of peo. Nuno silva, critical software s chief test engineer, said. Nuno silva delivery manager solution architect wedo. When asked what the most important reason for technology needing to be reliable is, 61% of people identify safety or security as their main concern, with the next most important reason being ease of use 11%. Static analysis tools, a practical approach for safety. According to nuno silva, senior project manager of deimos, the. Join facebook to connect with nuno silva and others you may know.
Study finds that tech fails people every week consumer. Today, more and more technologies are being used in important systems. Get the latest updates on nasa missions, subscribe to blogs, rss feeds and podcasts, watch nasa tv live, or simply read about our mission to pioneer the future in space exploration, scientific discovery and aeronautics research. An article on safety critical, with a contribution of nuno silva who works for critical. Reducing defects in critical systems is a challenge faced every day by. Static analysis tools, a practical approach for safety critical software verification rui lopes, diogo vicente, nuno silva critical software sa. Detailed tutorial on independent software verification and validation presentation provided at feup in 2006. Antonio pecchia, anna lanzaro, asad salkham, marcello cinque and nuno silva, leveraging fault injection techniques in critical industrial applications. Cost estimators ces use the scoring of a set of cost in.
732 752 1012 161 1416 729 751 1572 993 129 1387 347 334 701 236 1117 1239 191 1415 349 1099 906 1250 296 1164 1011 1108 985 917 772 458 257 1511 1334 942 890 1061 846 608 753 43 726 316 1301