Posts

#4356 TRIZ Mapping: Problem to Solution -- Applied to Process Requirements / Document Compliance

#4356 TRIZ Mapping: Problem to Solution -- Applied to Process Requirements / Document Compliance #4356  There is a concept in TRIZ of taking a real example, mapping it to a general example, finding a general solution which is mapped to a real example That is the Model of Powerful Thinking , often referred to as the TRIZ Problem-Solving Process . You've hit on the core logic that makes TRIZ so effective: it forces you to step away from the "psychological inertia" of your specific problem by abstracting it into a world where the solution likely already exists. Here is how that process breaks down: The Four-Step Mapping Process Instead of trying to jump directly from a Specific Problem to a Specific Solution (which often leads to trial-and-error), TRIZ uses a detour through abstraction. Step Phase Action 1 The Specific Problem Define your actual challenge (e.g., "The airplane wing is too heavy when reinforced for high speeds"). 2 The General Problem Abstract the ...

#4355 Solver for Formal Requirements Compliance Checking

#4355 Solver for Formal Requirements Compliance Checking #4355  Give tools like SAT and SMT Solvers, could a similar purpose tool be developed to "prove" a software planning and/or development document complies with a set of formal requirements? The short answer is yes , and in the world of high-stakes engineering—like NASA’s Safety and Mission Assurance (S&MA)—this is often referred to as Formal Specification and Automated Reasoning . While SAT (Satisfiability) and SMT (Satisfiability Modulo Theories) solvers are traditionally used to verify code or circuit logic, they are increasingly being applied to the "left side" of the V-model: the requirements and design phase. Here is how a tool for "proving" document compliance would function, the logic required, and the hurdles involved. 1. The Logic: Transforming Text into Predicates To "prove" compliance, you cannot work with raw English. You must translate the Formal Requirements (the "Ru...