Certifications of critical systems the cecris experience. View zhiqi chi tus profile on linkedin, the worlds largest professional community. The objective of the research was to tackle the challenges of certification by focusing on those. Nuno silva data scientist pharmaccess foundation linkedin. The importance of testing technology properly to ensure it is. Static analysis tools, a practical approach for safety. Publications cecris project certification of critical systems. Nuno silva solutions architect readiness it linkedin. Validation and dependability services and methods used at critical software more. Research studies suggest that a defect taxonomy is the best way to prevent and control defects. Jan 23, 2018 nuno silva, critical software s chief test engineer, said.
Join facebook to connect with nuno silva and others you may know. Nuno silva, critical software s chief test engineer, said. Active space, deimos engenharia and critical software are the. Nikora fast abstract ii safety and performance coengineering. Every device includes testcases generated and verified for schematic. Practical results from the application of model checking and test generation. Nuno silva senior java software engineer bosch linkedin.
Welcome to nuno silvas home page under construction today is hello, and welcome to my web page. Adding security concerns to safety critical certification. Reducing defects in critical systems is a challenge faced every day by industry. Welcome to nuno silva s home page under construction today is hello, and welcome to my web page.
A process for finding and tackling the main root causes. See the complete profile on linkedin and discover nunos connections and jobs at similar companies. Final extended deadline 1st international workshop on complex faults and failures in large software systems at icse 2015. Nuno silva, critical softwares chief test engineer, said. The book introduces methods and tools adopted by the critical systems industry, and surveys key achievements of the critical step project along four directions.
Evaluating a corpus of root causes and measures to guide rca. Application fields for its products range from including telecoms, public sector, industry, aerospace, transportation and defence. Inside the complex world of lifesaving software and. Silvaco believes that pdk quality, in the form of accuracy, completeness and ease of use is critical to amsrf designers. Critical software provides solutions for mission and business critical information systems. Certifications of critical systems the cecris experience andrea bondavalli. Other readers will always be interested in your opinion of the books youve read. See the complete profile on linkedin and discover zhiqi chis connections and jobs at similar companies. Having to test the complete avionics of the spacecraft, nuno silva and his. For all the awe inspiring developments, people still seem to have concerns about the reliability of.
News archive cecris project certification of critical systems. I was interesting, i got the chance to listen to some good presentations, learn a bit, and see old friends. 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.
A framework to identify companies gaps when introducing new standards for safetycritical software. We use a separate set of fresh eyes to assure that each pdk meets specifications as measured by the gsa msrf pdk checklist. Functional and stress testing nuno antunes francesco brancati marco vieira andrea. Innovative technologies for dependable otsbased critical. Globalisation, macroeconomic changes and tough competition have led companies to adopt new ways of organising their work.
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. Critical software sa, portugal, coimbra safety critical systems. Development with a dot porto tech hub 2015 wrap up. News archive cecris project certification of critical. Static analysis tools, a practical approach for safetycritical software verification rui lopes, diogo vicente, nuno silva critical software sa. Prasad sistla, university of illinois at chicago, usa hongyu zhang. A picture of nuno silva, from critical software, while giving a seminar on do standard. Evaluating a corpus of root causes and measures to guide rca processes in critical software. Detecting and reducing redundancy in software testing for highly configurable systems dusica marijan and sagar sen.
For example, modern cars include complex systems that are increasingly responsible for safety features and banks use advanced security technologies to protect online systems. The demand for largescale dependable, systems, such as air traffic management, industrial plants and space systems, is attracting efforts of many wordleading european companies and smes in the area, and is expected to increase in the near future. A process for finding and tackling the main root causes that. Only half of people think the tech they use in their lives is properly tested, a new study commissioned by critical software has revealed. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Static analysis tools, a practical approach for safety critical software verification rui lopes, diogo vicente, nuno silva critical software sa. Certifications of critical systems the cecris experience documents the main insights on cost effective verification and validation processes that were gained during work in the european research project cecris certification of critical systems. Whether youve loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. 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 safetycritical fields and navigating those risks. Experiencing modeldriven engineering for railway interlocking systems. Been a while since i took the time to write my last page, so i thought it was getting time to update it.
Dig deeper into the ecbs activities and discover key topics in simple words and through multimedia. Jan 25, 2018 nuno silva, critical software s chief test engineer, said. An empirical approach to improve the quality and dependability of. Conclusions nuno silva marco vieira joao carlos cunha francisco moreira references nuno silva marco vieira joao carlos cunha. The problem with this is that more and more technologies are. Reducing defects in critical systems is a challenge faced every day by. Functional testing is concerned with what the system must do to achieve its objectives, as defined in business requirements, functional specifications, use cases, business process models, etc. A picture of nuno silva, from critical software, while giving a seminar on do standard during is secondment at cini naples naples, may 2016. Conclusions nuno silva marco vieira joao carlos cunha. A picture of nuno silva, from critical software, while giving a seminar on do standard during is secondment at cini naples.
Asad salkham, antonio pecchia, and nuno silva toward baselining software anomalies in nasa missions lucas layman, marvin zelkowitz, victor basili, and allen p. Spie 10707, software and cyberinfrastructure for astronomy v, 1070703 6 july. The importance of testing technology properly to ensure it is reliable and safe to use nearly one in two people say technology fails them once a week or more, a new study commissioned by critical software has revealed. Validation and dependability services and methods used at critical softwaremore. Only half of people think the tech they use in their lives is properly tested, a new study commissioned by. Welcome to hase 2017 greetings and welcome to singapore. View nuno da silvas profile on linkedin, the worlds largest professional community. Study finds that tech fails people every week manufacturing. Study finds that tech fails people every week consumer.
This can equate to many times more documentationincluding fastidious risk management documentationthan a comparably sized consumer software might need, given the extensive planning and testing that safetycritical software must undergo to meet certification standards. The demand for largescale dependable, systems, such as air traffic management, industrial plants and space systems, is attracting efforts of many wordleading european companies and smes in the. Software verification and validation isvv are required. The importance of testing technology properly to ensure it. Nuno silva, critical software s chief test engineer, says. Solar orbiter takes portuguese technology to sun atmosphere. Study finds that tech fails people every week socpub. Study reveals tech testing concerns software testing news. The importance of testing technology properly to ensure it is reliable. Today, more and more technologies are being used in important systems. For all the aweinspiring developments, people still seem to have concerns about the reliability of. Updated daily to include the lastest free mmos, rpgs and more for mmorpg fans.
Nuno silva administrateur systeme bull luxembourg linkedin. Inside the complex world of lifesaving software and safety. Csw is an independent and privately owned company founded in 1998, the company today employs over 250. Facebook gives people the power to share and makes the world more open and connected. Software fault location software testing latency tail tolerance systems. Nuno silva product owner bold international linkedin. Study finds that technology fails people every week the. Study finds that tech fails people every week it reseller. Study reveals concerns over the lack of technology testing.
For example, modern cars include complex systems that are increasingly responsible for safety features and banks use advanced security. Nuno silva read 46 publications contact nuno silva. For all the aweinspiring developments, people still seem to have concerns about the reliability of the technology we use in our lives. Book chapter in innovative technologies for dependable otsbased critical systems, isbn. Assessment of defect type influence in complex and.
Nuno silva, pmp, phd coimbra e regiao, portugal perfil. Study finds that tech fails people every week global. The key features of the new strategies are well known. University of coimbra certification of critical systems. Nuno silva, critical softwares chief test engineer, says. Testing what the system does, based on analysis of specified requirements. Innovative technologies for dependable otsbased critical systems. Antonio pecchia, anna lanzaro, asad salkham, marcello cinque and nuno silva, leveraging fault injection techniques in critical industrial applications. The pressure to release new technologies can sometimes come at a.
741 1472 892 1469 96 850 437 1279 1173 1431 1582 476 550 637 761 1557 728 597 937 1398 778 920 585 333 1380 1386 1594 254 1553 1 1083 236 875 396 112 1347 709 524 142 353 1408 843 1342 303 995 874 78 1125 303 989 513